diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 69e130f..19f7091 100755 --- a/debian/rules +++ b/debian/rules @@ -4,11 +4,11 @@ dh $@ --with elpa # info page is not generated without this override -override_dh_installinfo: +override_dh_elpa: + dh_elpa # support the nodoc build profile ifneq ($(filter nodoc,$(DEB_BUILD_PROFILES)),) echo -e "\nnodoc build profile enabled, therefor not building docs.\n" else makeinfo --no-split folding.texi -o debian/tmp/folding.info endif - dh_installinfo |