From 49c70a097ff90384615f7da4b8bec8358f341ff7 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 1 Mar 2004 00:02:14 +0000
Subject: maj

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

diff --git a/.depend b/.depend
index b6d216e8d7..8149146d29 100644
--- a/.depend
+++ b/.depend
@@ -3251,10 +3251,8 @@ tools/coqdoc/main.cmx: config/coq_config.cmx tools/coqdoc/index.cmx \
     tools/coqdoc/output.cmx tools/coqdoc/pretty.cmx 
 tools/coqdoc/output.cmo: tools/coqdoc/index.cmi tools/coqdoc/output.cmi 
 tools/coqdoc/output.cmx: tools/coqdoc/index.cmx tools/coqdoc/output.cmi 
-tools/coqdoc/pretty.cmo: tools/coqdoc/index.cmi tools/coqdoc/output.cmi \
-    tools/coqdoc/pretty.cmi 
-tools/coqdoc/pretty.cmx: tools/coqdoc/index.cmx tools/coqdoc/output.cmx \
-    tools/coqdoc/pretty.cmi 
+tools/coqdoc/pretty.cmo: tools/coqdoc/pretty.cmi 
+tools/coqdoc/pretty.cmx: tools/coqdoc/pretty.cmi 
 tactics/tauto.cmo: parsing/grammar.cma
 tactics/tauto.cmx: parsing/grammar.cma
 tactics/eqdecide.cmo: parsing/grammar.cma
-- 
cgit v1.2.3