summaryrefslogtreecommitdiff
path: root/debian/patches/30-local-mk.patch
diff options
context:
space:
mode:
authorSébastien Delafond <sdelafond@gmail.com>2014-07-13 13:35:01 +0200
committerSébastien Delafond <sdelafond@gmail.com>2014-07-13 13:35:01 +0200
commit7697fa4daf3ec84f85711a84035d8f0224afd4e3 (patch)
tree24d0f1d2a9751ca8c063409fd2ab71478b296efb /debian/patches/30-local-mk.patch
Imported Upstream version 7.9.2
Diffstat (limited to 'debian/patches/30-local-mk.patch')
-rw-r--r--debian/patches/30-local-mk.patch8
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/patches/30-local-mk.patch b/debian/patches/30-local-mk.patch
new file mode 100644
index 0000000..087eff0
--- /dev/null
+++ b/debian/patches/30-local-mk.patch
@@ -0,0 +1,8 @@
+Description: Generate all the doc. including the refcard
+Forwarded: not-needed
+Author: Sebastien Delafond <seb@debian.org>
+
+--- /dev/null
++++ b/local.mk
+@@ -0,0 +1 @@
++ORG_MAKE_DOC = info html pdf card