When distcleaning, clean up doc as well.

diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in
index ed80c77ea72768870e69c702e6adeff4f799c27e..0c600cedc0daf2be98e3a674c0e1291d13310c22 100644 (file)
--- a/tools/Makefile-top.in
+++ b/tools/Makefile-top.in
@@ -14,5 +14,6 @@ clean:
        find . -name "*~" -or -name "*.[oa]" -or -name "\#*\#" -or -name TAGS -or -name core -or -name depend -or -name ".#*" | xargs rm -f
 
 distclean: clean
+       $(MAKE) -C doc clean
        rm -rf $(objdir)
        rm -f config.* configure sysdep/autoconf.h sysdep/paths.h Makefile