summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorDavid Bremner <david@tethera.net>2018-06-23 20:55:15 -0300
committerDavid Bremner <david@tethera.net>2018-06-23 21:48:09 -0300
commitc996ee2e3176c1449ca73056b3bf6ef446973b5c (patch)
treec48b1b55921452e3471aad4ffccef50b7223f8da /debian/rules
parent0df79ceb792dd73444afd2e591c120af7e1942f6 (diff)
install info files
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index 0fa9195..5d5b79b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,3 +5,4 @@
override_dh_auto_build:
makeinfo -o debian-el.info debian-el.texi
+ install-info debian-el.info dir