1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index f1f04e77d..ea318c111 100644
--- a/Makefile
+++ b/Makefile
@@ -227,6 +227,9 @@ voclean:
 
 devdocclean:
 	find . -name '*.dep.ps' -o -name '*.dot' | xargs rm -f
+	rm -f $(OCAMLDOCDIR)/*.log $(OCAMLDOCDIR)/*.aux $(OCAMLDOCDIR)/*.toc 
+	rm -f $(OCAMLDOCDIR)/ocamldoc.sty $(OCAMLDOCDIR)/coq.tex 
+	rm -f $(OCAMLDOCDIR)/html/*.html
 
 ###########################################################################
 # Emacs tags