Also remove @* files

diff --git a/Doc/Makefile b/Doc/Makefile
index 4e42c5c2d6b66bdc262e9cbac0a431f74ab188f5..763a4344250bdada80f106a24650fbe787794bfa 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -23,5 +23,5 @@ qua:
        latex qua
 
 clean:
-       rm -f *~ *.aux *.dvi *.idx *.ilg *.ind *.log *.ps *.toc
+       rm -f @* *~ *.aux *.dvi *.idx *.ilg *.ind *.log *.ps *.toc
        # Keep: .tex, .bib, .sty!