* Makefile.in (uninstall): Handle compressed info files and man pages.

Fixes: debbugs:10718

diff --git a/ChangeLog b/ChangeLog
index cfcfab4ee3334a6639924749ae9760d907576933..9712a2f0d0f70a3f1d0411d892fac1ca44087705 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-02-04  Glenn Morris  <rgm@gnu.org>
+
+       * Makefile.in (uninstall):
+       Handle compressed info files and man pages.  (Bug#10718)
+
 2012-02-02  Glenn Morris  <rgm@gnu.org>
 
        * configure.in [HAVE_NS]:

diff --git a/Makefile.in b/Makefile.in
index 6c1f34bade455507c5953639e04fb822f4306aca..af0c902b381cc15ab3b5bec78a3824c50d8791f9 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -727,11 +727,16 @@ uninstall:
        (cd $(DESTDIR)${infodir} && \
          for elt in $(INFO_FILES); do \
            $(INSTALL_INFO) --remove --info-dir=. $$elt; \
-           for f in `ls $$elt $$elt-[1-9] $$elt-[1-9][0-9] 2>/dev/null`; do \
+           if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
+              ext=.gz; else ext=; fi; \
+           for f in `ls $$elt$$ext $$elt-[1-9]$$ext $$elt-[1-9][0-9]$$ext 2>/dev/null`; do \
              rm -f $$f; \
            done; \
          done;)
-       (cd $(DESTDIR)${man1dir}  && rm -f $(MAN_PAGES))
+       (if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
+           ext=.gz; else ext=; fi; \
+        cd $(DESTDIR)${man1dir} && for page in ${MAN_PAGES}; do \
+          rm -f $$page$$ext; done )
        (cd $(DESTDIR)${bindir}  && rm -f $(EMACSFULL) $(EMACS))
        (cd $(DESTDIR)${icondir} && rm -f hicolor/*x*/apps/emacs.png hicolor/*x*/apps/emacs22.png hicolor/scalable/apps/emacs.svg hicolor/scalable/mimetypes/emacs-document.svg )
        -rm -f $(DESTDIR)${desktopdir}/emacs.desktop