diff options
author | David Bremner <david@tethera.net> | 2018-06-23 20:55:15 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2018-06-23 21:48:09 -0300 |
commit | c996ee2e3176c1449ca73056b3bf6ef446973b5c (patch) | |
tree | c48b1b55921452e3471aad4ffccef50b7223f8da /debian/rules | |
parent | 0df79ceb792dd73444afd2e591c120af7e1942f6 (diff) |
install info files
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 1 |
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 |