diff options
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/series | 1 | ||||
-rw-r--r-- | debian/patches/user_guide.patch | 26 |
2 files changed, 27 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..8914f1d --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +user_guide.patch diff --git a/debian/patches/user_guide.patch b/debian/patches/user_guide.patch new file mode 100644 index 0000000..b6adcdd --- /dev/null +++ b/debian/patches/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 2014-07-05 15:44:22.000000000 +0200 ++++ trunk/doc/SConscript 2014-07-26 14:00:34.514151395 +0200 +@@ -266,12 +266,12 @@ + 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'], [], []) + } + + # The names of the target files for the MAN pages |