Delete autom4te.cache in 'make distclean'.

diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in
index fe282808a76171e9a46889fffe92170b6d4d142f..cf59f7a1742717f5d3a70e4291f7a23be6513528 100644 (file)
--- 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
+