diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rw-r--r-- | debian/patches/user_guide.patch | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..046129f --- /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..f2e143f --- /dev/null +++ b/debian/patches/user_guide.patch @@ -0,0 +1,24 @@ +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'] |