diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in index fe282808..cf59f7a1 100644 --- a/tools/Makefile-top.in +++ b/tools/Makefile-top.in @@ -15,5 +15,6 @@ clean: distclean: clean $(MAKE) -C doc distclean - rm -rf $(objdir) + rm -rf $(objdir) autom4te.cache rm -f config.* configure sysdep/autoconf.h sysdep/paths.h Makefile +