[doc]: Uninstall groff Texinfo in HTML better.

* Makefile.am (uninstall_groffdirs): Remove "html.mono" and "html.node"
  directories corresponding to HTML version of our Texinfo manual.
* doc/doc.am (uninstall-html): Uninstall HTML version of our Texinfo
  manual more reliably.
This commit is contained in:
G. Branden Robinson 2023-02-22 18:49:04 -06:00
parent 691fc70108
commit 803ad5f7b3
3 changed files with 16 additions and 1 deletions

View File

@ -1,3 +1,11 @@
2023-02-22 G. Branden Robinson <g.branden.robinson@gmail.com>
* Makefile.am (uninstall_groffdirs): Remove "html.mono" and
"html.node" directories corresponding to HTML version of our
Texinfo manual.
* doc/doc.am (uninstall-html): Uninstall HTML version of our
Texinfo manual more reliably.
2023-02-22 G. Branden Robinson <g.branden.robinson@gmail.com>
[doc]: Handle output formats of our Texinfo manual more

View File

@ -774,6 +774,12 @@ uninstall_groffdirs:
rmdir $(DESTDIR)$(exampledir); \
fi; \
if test -d $(DESTDIR)$(htmldocdir); then \
if test -d $(DESTDIR)$(htmldocdir)/groff.html.mono; then \
rmdir $(DESTDIR)$(htmldocdir)/groff.html.mono; \
fi; \
if test -d $(DESTDIR)$(htmldocdir)/groff.html.node; then \
rmdir $(DESTDIR)$(htmldocdir)/groff.html.node; \
fi; \
rmdir $(DESTDIR)$(htmldocdir); \
fi; \
rmdir $(DESTDIR)$(docdir); \

View File

@ -665,7 +665,8 @@ uninstall-pdf:
$(RM) $(DESTDIR)$(pdfdocdir)/groff.pdf
-rmdir $(DESTDIR)$(pdfdocdir)
uninstall-html:
$(RM) $(DESTDIR)$(htmldocdir)/groff.html.*
$(RM) $(DESTDIR)$(htmldocdir)/groff.html.mono/*
$(RM) $(DESTDIR)$(htmldocdir)/groff.html.node/*
uninstall-txt:
$(RM) $(DESTDIR)$(docdir)/groff.txt