avoid another "make distcheck" failure

* docs/Makefile.am (uninstall-local): Separate $$f from preceding
dir name with a "/" and use $$(basename $$f) rather than $$f, since
some values of $$f are prefixed with devhelp/.

diff --git a/docs/Makefile.am b/docs/Makefile.am
index d53f305bd5cf8a5e310efe8e80ee5cc4ed6e0a02..c19e963da370a6af2c5375ddc73553ff343d2c43 100644 (file)
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -159,4 +159,5 @@ uninstall-local:
        for h in $(apihtml); do rm $(DESTDIR)$(HTML_DIR)/$$h; done
        for p in $(apipng); do rm $(DESTDIR)$(HTML_DIR)/$$p; done
        for f in $(devhelphtml) $(devhelppng) $(devhelpcss); do \
-               rm $(DESTDIR)$(DEVHELP_DIR)$$f ; done
+         rm $(DESTDIR)$(DEVHELP_DIR)/$$(basename $$f); \
+       done