gbranden pushed a commit to branch branden-2023-07-05 in repository groff. commit 8076db04cee87b77846e0489d7111c0da9d36d0a Author: G. Branden Robinson <g.branden.robin...@gmail.com> AuthorDate: Mon Apr 3 22:48:19 2023 -0500
[build]: Ship groff.dvi. That is our Texinfo manual in DVI format. * doc/doc.am (install-dvi-local, uninstall-dvi): Add targets. (uninstall-local): Depend on "uninstall-dvi". --- ChangeLog | 7 +++++++ doc/doc.am | 17 +++++++++++++++-- 2 files changed, 22 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index db72d7a29..c33681b23 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2023-04-03 G. Branden Robinson <g.branden.robin...@gmail.com> + + [build]: Ship groff.dvi (our Texinfo manual in DVI format). + + * doc/doc.am (install-dvi-local, uninstall-dvi): Add targets. + (uninstall-local): Depend on "uninstall-dvi". + 2023-04-03 G. Branden Robinson <g.branden.robin...@gmail.com> [build]: Resume shipping pic.html. diff --git a/doc/doc.am b/doc/doc.am index 769107f81..0b8520450 100644 --- a/doc/doc.am +++ b/doc/doc.am @@ -654,6 +654,16 @@ install_infodoc: doc/groff.info fi; \ done +install-dvi-local: doc/groff.dvi + -test -d $(DESTDIR)$(docdir) \ + || $(mkinstalldirs) $(DESTDIR)$(docdir) + for d in $(doc_builddir) $(doc_srcdir); do \ + if [ -f "$$d"/groff.dvi ]; then \ + cp "$$d"/groff.dvi $(DESTDIR)$(docdir); \ + break; \ + fi; \ + done + install-pdf-local: doc/groff.pdf -test -d $(DESTDIR)$(pdfdocdir) \ || $(mkinstalldirs) $(DESTDIR)$(pdfdocdir) @@ -677,10 +687,13 @@ install-html-local: doc/groff.html fi; \ done -uninstall-local: uninstall_infodoc uninstall-pdf uninstall-html \ - uninstall-txt +uninstall-local: uninstall_infodoc uninstall-dvi uninstall-pdf \ + uninstall-html uninstall-txt uninstall_doc: uninstall-local uninstall-doc: uninstall-local +uninstall-dvi: + $(RM) $(DESTDIR)$(docdir)/groff.dvi + -rmdir $(DESTDIR)$(docdir) uninstall_infodoc: -$(INSTALL_INFO) --remove --info-dir=$(DESTDIR)$(infodir) \ $(DESTDIR)$(infodir)/groff.info _______________________________________________ Groff-commit mailing list Groff-commit@gnu.org https://lists.gnu.org/mailman/listinfo/groff-commit