diff options
| author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-02-22 18:49:04 -0600 |
|---|---|---|
| committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-02-22 20:28:13 -0600 |
| commit | 803ad5f7b341fe39cc471fbbcedccd0161503736 (patch) | |
| tree | a262ee443e70637d4f10a9c8202ab40d923b8492 /doc | |
| parent | 691fc701089875239485dd9e3e80d0735a4fd5e2 (diff) | |
| download | groff-git-803ad5f7b341fe39cc471fbbcedccd0161503736.tar.gz | |
[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.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/doc.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/doc.am b/doc/doc.am index e7733d147..cddc51907 100644 --- a/doc/doc.am +++ b/doc/doc.am @@ -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 |