Fixed "make clean" for manual files

diff --git a/Makefile b/Makefile
index 78d6a8cc453a5808b0b5575b5805b7a65cb1af78..4384de5fe651d3cc1f8b3a6e1f61a11e1ba4cca4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -106,7 +106,7 @@ manual:
 clean:
        rm -f $(OBJS) $(GENFILES) $(TARGETS)
        rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d
-       cd manual && rm *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc
+       cd manual && rm -f *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc
        test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
 
 mrproper: clean