Remove Emacs garbage.

diff --git a/Doc/Makefile b/Doc/Makefile
index 87571208d5fef9b41cfd7da2424ca5dcf0b9ee8e..486b384f3b23de29189576dbdbe1ec47e37571b4 100644 (file)
--- 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