diff options
Diffstat (limited to 'debian/patches/user_guide.patch')
| -rw-r--r-- | debian/patches/user_guide.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/debian/patches/user_guide.patch b/debian/patches/user_guide.patch deleted file mode 100644 index f2e143f..0000000 --- a/debian/patches/user_guide.patch +++ /dev/null @@ -1,24 +0,0 @@ -Description: Build User Guide only -Author: Luca Falavigna <dktrkranz@debian.org> -Forwarded: not-needed - -Index: scons-doc/doc/SConscript -=================================================================== ---- scons-doc.orig/doc/SConscript 2014-04-27 11:39:43.567063643 +0200 -+++ scons-doc/doc/SConscript 2014-04-27 11:39:59.097875647 +0200 -@@ -195,12 +195,12 @@ - # of the outputs get installed to the build folder and added to - # the different source and binary packages in the end. - # -- docs = {'design' : ['chtml','pdf'], -+ docs = {#'design' : ['chtml','pdf'], - #'python10' : ['chtml','html','pdf'], -- 'reference' : ['chtml','html','pdf'], -+ #'reference' : ['chtml','html','pdf'], - #'developer' : ['chtml','html','pdf'], - 'user' : ['chtml','html','pdf','epub'], -- 'man' : ['man','epub'] -+ #'man' : ['man','epub'] - } - # The names of the target files for the MAN pages - man_page_list = ['scons.1','scons-time.1','sconsign.1'] |