From d581efa789d7239b61d7c71f58fc980c350b2de1 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 11 Jan 2008 15:49:30 +0000
Subject: Amélioration de la génération des graphes de dépendances

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10438 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index dabe3078c6..4dfc5062d9 100644
--- a/Makefile
+++ b/Makefile
@@ -107,7 +107,7 @@ else
 stage1 $(STAGE1_TARGETS): always
 	$(call stage-template,1)
 
-CAML_OBJECT_PATTERNS:=%.cmo %.cmx %.cmi %.cma %.cmxa
+CAML_OBJECT_PATTERNS:=%.cmo %.cmx %.cmi %.cma %.cmxa %.dep.ps %.dot
 ifdef CM_STAGE1
 $(CAML_OBJECT_PATTERNS): always
 	$(call stage-template,1)
@@ -134,9 +134,9 @@ endif #GOTO_STAGE
 # Cleaning
 ###########################################################################
 
-.PHONY: clean objclean cruftclean indepclean archclean ml4clean clean-ide ml4depclean depclean distclean cleanconfig cleantheories docclean
+.PHONY: clean objclean cruftclean indepclean archclean ml4clean clean-ide ml4depclean depclean distclean cleanconfig cleantheories docclean devdocclean
 
-clean: objclean cruftclean depclean docclean
+clean: objclean cruftclean depclean docclean devdocclean
 
 objclean: archclean indepclean
 
@@ -194,6 +194,9 @@ cleantheories:
 	rm -f states/*.coq
 	find theories -name '*.vo' -or -name '*.glob' | xargs rm -f
 
+devdocclean:
+	find . -name '*.dep.ps' -o -name '*.dot' -exec rm -f {} \;
+
 ###########################################################################
 # Emacs tags
 ###########################################################################
-- 
cgit v1.2.3