2009-06-11 Pavel Roskin <proski@gnu.org>

	* Makefile.in (uninstall): Uninstall manuals.

diff --git a/ChangeLog b/ChangeLog
index 9c69b13b95331fd9bb6512ad5442a7685d61914a..a16d5392c704f752fd8f05a9dcdbc7b1578e9c58 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2009-06-11  Pavel Roskin  <proski@gnu.org>
 
+       * Makefile.in (uninstall): Uninstall manuals.
+
        * Makefile.in: Rename lib_DATA to lib_SCRIPTS, move it from
        PKGLIB to SCRIPTS.  This fixes installation of grub-mkconfig_lib
        and update-grub_lib in two places.

diff --git a/Makefile.in b/Makefile.in
index 40bc140fa2fa9b6c9df657edd1c31029d8ada530..35e24aee03f6f7b44c7b82ab9f8657d35e0332af 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -302,10 +302,12 @@ uninstall:
        @list='$(bin_UTILITIES) $(bin_SCRIPTS)'; for file in $$list; do \
          dest="`echo $$file | sed 's,.*/,,' | sed '$(transform)'`"; \
          rm -f $(DESTDIR)$(bindir)/$$dest; \
+         rm -f $(DESTDIR)$(mandir)/man1/$$dest.1; \
        done
        @list='$(sbin_UTILITIES) $(sbin_SCRIPTS)'; for file in $$list; do \
          dest="`echo $$file | sed 's,.*/,,' | sed '$(transform)'`"; \
          rm -f $(DESTDIR)$(sbindir)/$$dest; \
+         rm -f $(DESTDIR)$(mandir)/man8/$$dest.8; \
        done
        @list='$(grub-mkconfig_SCRIPTS) $(grub-mkconfig_DATA)'; for file in $$list; do \
          dest="`echo $$file | sed 's,.*/,,' | sed '$(transform)'`"; \