diff --git a/Doc/Makefile b/Doc/Makefile
index 87571208d5f..486b384f3b2 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