diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 8757120..486b384 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -24,7 +24,7 @@ print: $(ALL) $(PRINT) $(ALL) clean: - rm -f *.dvi *.aux *.toc *.log *.ps core @* ,* + rm -f *.dvi *.aux *.toc *.log *.ps core [#@,]* *~ .SUFFIXES: # Remove default suffixes |