diff options
| -rw-r--r-- | compatMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compatMakefile b/compatMakefile index 9ca118c..10d3215 100644 --- 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 |