diff --git a/html_manual/clean b/html_manual/clean
index 3e4e099..c9b409c 100755
--- a/html_manual/clean
+++ b/html_manual/clean
@@ -3,4 +3,4 @@ rm -rf manualimages
 rm -f Changes
 rm -rf ../camlpdf
 rm -f logo.pdf
-rm cpdfmanual.tex
+rm -f cpdfmanual.tex