docs/makefile: correctly make 'clean'

diff --git a/docs/Makefile b/docs/Makefile
index e49d58ee11843d94ca5929a8fd217daa863656db..90abed28aff3a4f11c4f8318205d54b1ec1f8757 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -27,5 +27,4 @@ refcard.pdf: refcard.tex
        pdflatex refcard.tex && pdflatex refcard.tex
 
 clean:
-       rm -f */*.{aux,log,toc,bm,pdf,dvi}
-       rm -f *.log *.html
+       find . -regex ".*\.\(aux\|out\|log\|toc\|bm\|pdf\|dvi\|log\|html\)" -exec rm '{}' \;