bugtool: Uninstall plugins on "make uninstall".

This works toward making "make distcheck" succeed.

diff --git a/utilities/bugtool/automake.mk b/utilities/bugtool/automake.mk
index 7d8d136..622e5aa 100644 (file)
--- a/utilities/bugtool/automake.mk
+++ b/utilities/bugtool/automake.mk
@@ -23,6 +23,18 @@ bugtool-install-data-local:
          $(MKDIR_P) "$(DESTDIR)$(bugtoolpluginsdir)/$$dir"; \
          $(INSTALL_DATA) "$(srcdir)/$$plugin" "$(DESTDIR)$(bugtoolpluginsdir)/$$stem"; \
        done
+
+UNINSTALL_LOCAL += bugtool-uninstall-local
+bugtool-uninstall-local:
+       for plugin in $(bugtool_plugins); do \
+         stem=`echo "$$plugin" | sed 's,utilities/bugtool/plugins/,,'`; \
+         rm -f "$(DESTDIR)$(bugtoolpluginsdir)/$$stem"; \
+       done
+       for plugin in $(bugtool_plugins); do \
+         stem=`echo "$$plugin" | sed 's,utilities/bugtool/plugins/,,'`; \
+         dir=`expr "$$stem" : '\(.*\)/[^/]*$$'`; \
+         rmdir "$(DESTDIR)$(bugtoolpluginsdir)/$$dir"; \
+       done; exit 0
 endif
 
 EXTRA_DIST += \