summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorDavid Bremner <david@tethera.net>2018-06-23 20:53:45 -0300
committerDavid Bremner <david@tethera.net>2018-06-23 20:54:40 -0300
commit0df79ceb792dd73444afd2e591c120af7e1942f6 (patch)
tree2b81435ca7d3f5b17e86b7058501c1409db7a4cd /debian/rules
parentc87624733e8c6a4af0b75c6ac1bfba0ad5427cac (diff)
build info file
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules3
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index e8e22ba..0fa9195 100755
--- a/debian/rules
+++ b/debian/rules
@@ -2,3 +2,6 @@
%:
dh $@ --with elpa
+
+override_dh_auto_build:
+ makeinfo -o debian-el.info debian-el.texi