summaryrefslogtreecommitdiff
path: root/debian/patches/0001-user_guide.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/0001-user_guide.patch')
-rw-r--r--debian/patches/0001-user_guide.patch26
1 files changed, 26 insertions, 0 deletions
diff --git a/debian/patches/0001-user_guide.patch b/debian/patches/0001-user_guide.patch
new file mode 100644
index 0000000..4d608d1
--- /dev/null
+++ b/debian/patches/0001-user_guide.patch
@@ -0,0 +1,26 @@
+Description: Build User Guide only
+Author: Luca Falavigna <dktrkranz@debian.org>
+Forwarded: not-needed
+Last-Update: 2014-07-26
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+Index: trunk/doc/SConscript
+===================================================================
+--- trunk.orig/doc/SConscript
++++ trunk/doc/SConscript
+@@ -308,12 +308,12 @@ else:
+ DOCTARGETS = 0
+ DOCDEPENDS = 1
+ DOCNODES = 2
+- docs = {'design' : (['chunked','pdf'], [], []),
++ docs = {#'design' : (['chunked','pdf'], [], []),
+ #'python10' : (['chunked','html','pdf'], [], []),
+- 'reference' : (['chunked','html','pdf'], [], []),
++ #'reference' : (['chunked','html','pdf'], [], []),
+ #'developer' : (['chunked','html','pdf'], [], []),
+ 'user' : (['chunked','html','pdf','epub','text'], [], []),
+- 'man' : (['man','epub','text'], [], [])
++ #'man' : (['man','epub','text'], [], [])
+ }
+
+ #