diff options
| author | Nicholas D Steeves <nsteeves@gmail.com> | 2018-09-15 23:29:14 -0400 |
|---|---|---|
| committer | Nicholas D Steeves <nsteeves@gmail.com> | 2018-09-15 23:29:14 -0400 |
| commit | 51c1f0e166719739db45d3a1de5669082de06f50 (patch) | |
| tree | b95e138a9113d34b1eebacb1e10adceaf5b6eb0b | |
| parent | 98a4e53f7caacdf265fee2a6a1539dc182349520 (diff) | |
Override dh_elpa instead of dh_installinfo
Thanks to Paul Wise for recommending doing this in a less hacky way.
eg: keep build and install operations separate.
| -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 |