diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/0001-user_guide.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0001-user_guide.patch b/debian/patches/0001-user_guide.patch index 4d608d1..88a718a 100644 --- a/debian/patches/0001-user_guide.patch +++ b/debian/patches/0001-user_guide.patch @@ -8,7 +8,7 @@ Index: trunk/doc/SConscript =================================================================== --- trunk.orig/doc/SConscript +++ trunk/doc/SConscript -@@ -308,12 +308,12 @@ else: +@@ -311,12 +311,12 @@ else: DOCTARGETS = 0 DOCDEPENDS = 1 DOCNODES = 2 @@ -22,5 +22,5 @@ Index: trunk/doc/SConscript - 'man' : (['man','epub','text'], [], []) + #'man' : (['man','epub','text'], [], []) } - + # |