diff options
Diffstat (limited to 'debian/patches/0500-user_guide.patch')
| -rw-r--r-- | debian/patches/0500-user_guide.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/debian/patches/0500-user_guide.patch b/debian/patches/0500-user_guide.patch deleted file mode 100644 index 4d608d1..0000000 --- a/debian/patches/0500-user_guide.patch +++ /dev/null @@ -1,26 +0,0 @@ -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'], [], []) - } - - # |
