diff --git a/Doc/Makefile b/Doc/Makefile
index 8757120..486b384 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -24,7 +24,7 @@
 		$(PRINT) $(ALL)
 
 clean:
-		rm -f *.dvi *.aux *.toc *.log *.ps core @* ,*
+		rm -f *.dvi *.aux *.toc *.log *.ps core [#@,]* *~
 
 .SUFFIXES:	# Remove default suffixes