diff options
| author | Nicholas D Steeves <nsteeves@gmail.com> | 2018-09-15 17:25:45 -0400 |
|---|---|---|
| committer | Nicholas D Steeves <nsteeves@gmail.com> | 2018-09-15 18:23:42 -0400 |
| commit | 986e8b434eada93139d27a4c88c10af8f7fffe79 (patch) | |
| tree | e68bfcb623051491512c1fe1c49fd9a198314447 | |
| parent | 763450e64322260846fcc197830862cb0d63dc6a (diff) | |
Build info page and support nodoc build profile
| -rw-r--r-- | debian/control | 3 | ||||
| -rwxr-xr-x | debian/rules | 10 |
2 files changed, 12 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 3afd191..e7e4b00 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,8 @@ Priority: optional Maintainer: Debian Emacsen team <debian-emacsen@lists.debian.org> Uploaders: Nicholas D Steeves <nsteeves@gmail.com> Build-Depends: debhelper (>= 11), - dh-elpa + dh-elpa, + texinfo <!nodoc> Standards-Version: 4.2.1 Package: elpa-folding diff --git a/debian/rules b/debian/rules index e8e22ba..69e130f 100755 --- a/debian/rules +++ b/debian/rules @@ -2,3 +2,13 @@ %: dh $@ --with elpa + +# info page is not generated without this override +override_dh_installinfo: +# 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 |