diff options
author | Aaron M. Ucko <ucko@debian.org> | 2019-10-26 22:08:17 -0400 |
---|---|---|
committer | Aaron M. Ucko <ucko@debian.org> | 2019-10-26 22:20:16 -0400 |
commit | f8db5c029190716a973908cdc09dd7657d0bb7ec (patch) | |
tree | 64c17d6085d6c56cc55ab14145b71a19be07c87c | |
parent | 958c04e8f9e9d90daad37d5550a0638783c43443 (diff) |
debian/rules: Explicitly ignore usr/include/Fl for dh_missing.
Explicitly ignore usr/include/Fl (deliberately dropped, even in
libfltk1.3-compat-headers) to address one last dh_missing complaint.
-rw-r--r-- | debian/changelog | 12 | ||||
-rwxr-xr-x | debian/rules | 3 |
2 files changed, 14 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 7845a1d..1c1dcb4 100644 --- a/debian/changelog +++ b/debian/changelog @@ -9,6 +9,16 @@ fltk1.3 (1.3.4-10) UNRELEASED; urgency=medium * debian/compat: Advance to Debhelper 12, notably yielding DWZ-compressed symbols and fully uncompressed examples. * debian/control: Advance minimum debhelper version to 12~ accordingly. + * debian/fltk1.3-doc.docs: Take over coverage of fltk.pdf (available + nowadays with the correct name and freshly generated contents). + * debian/fltk1.3-doc.install: Take over coverage of HTML docs. + * debian/rules: + - Stop running "make install" in documentation/ to avoid populating + debian/tmp/usr/share/man with uncompressed man and cat(!) pages + (about which dh_missing otherwise now complains); also stop + explicitly (re)installing fltk.pdf. + - Explicitly ignore usr/include/Fl (deliberately dropped, even in + libfltk1.3-compat-headers) to address one last dh_missing complaint. * documentation/make_pdf: Loosen caption de-hyperlinking to accommodate (but not require) interposed mboxes, as produced by Doxygen 1.8.16 (currently in experimental). @@ -19,7 +29,7 @@ fltk1.3 (1.3.4-10) UNRELEASED; urgency=medium * test/Makefile: Link FLTK libraries dynamically, notably for games. (Done years ago for 1.1, but accidentally missed for 1.3.) - -- Aaron M. Ucko <ucko@debian.org> Sat, 26 Oct 2019 21:28:40 -0400 + -- Aaron M. Ucko <ucko@debian.org> Sat, 26 Oct 2019 22:08:16 -0400 fltk1.3 (1.3.4-9) unstable; urgency=medium diff --git a/debian/rules b/debian/rules index cb7f851..3bdd92b 100755 --- a/debian/rules +++ b/debian/rules @@ -125,3 +125,6 @@ override_dh_installchangelogs: for x in debian/*/usr/share/doc/*/changelog; do \ mv -v $$x `dirname $$x`/NEWS; \ done + +override_dh_missing: + dh_missing -Xusr/include/Fl |