diff options
| author | wl <wl> | 2012-09-20 20:38:01 +0000 |
|---|---|---|
| committer | wl <wl> | 2012-09-20 20:38:01 +0000 |
| commit | fede96f1dcf948594ee7ea62c5836c744a6d67e4 (patch) | |
| tree | 78c36d7b7987c532def897f681a2768f3b4a7442 | |
| parent | 8bc356c00c25029d73eeeea25f43a34ac478866b (diff) | |
| download | groff-fede96f1dcf948594ee7ea62c5836c744a6d67e4.tar.gz | |
* doc/Makefile.sub (uninstall_sub): Fix removal of info files.
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | doc/Makefile.sub | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -1,5 +1,9 @@ 2012-09-20 Werner LEMBERG <wl@gnu.org> + * doc/Makefile.sub (uninstall_sub): Fix removal of info files. + +2012-09-20 Werner LEMBERG <wl@gnu.org> + Simplify enviroment handling. Suggested by Ivan Shmakov <oneingray@gmail.com>. diff --git a/doc/Makefile.sub b/doc/Makefile.sub index 9bc06d09..936eaebc 100644 --- a/doc/Makefile.sub +++ b/doc/Makefile.sub @@ -225,11 +225,11 @@ install_html: $(HTMLDOCFILES) $(HTMLEXAMPLEFILES) $(DESTDIR)$(exampleimagedir) uninstall_sub: + $(INSTALL_INFO) --remove --info-dir=$(DESTDIR)$(infodir) \ + $(DESTDIR)$(infodir)/groff.info -for f in groff `ls groff.info*`; do \ rm -f $(DESTDIR)$(infodir)/$$f; \ done - $(INSTALL_INFO) --remove --info-dir=$(DESTDIR)$(infodir) \ - $(DESTDIR)$(infodir)/groff.info -for f in $(DOCFILES) $(PROCESSEDDOCFILES); do \ rm -f $(DESTDIR)$(docdir)/$$f; \ done |