Formerly compatMakefile.~57~

diff --git a/compatMakefile b/compatMakefile
index 9ca118c9103e00e3f04954d144689a88cd26f62e..10d321569d05aaaf708dfaec9de96c1d1807da4e 100644 (file)
--- a/compatMakefile
+++ b/compatMakefile
@@ -190,7 +190,7 @@ clean: glob-clean
        -rm -f make *.o core
 distclean: clean glob-realclean
        -rm -f Makefile config.h config.status build.sh
-       -rm -f TAGS tags make.info* make-* make.dvi
+       -rm -f TAGS tags make.info* make.dvi
        -rm -f make.?? make.??s make.log make.toc make.*aux
 realclean: distclean
 mostlyclean: clean