From 013661475d83407a588b72b34cbd95df82ee834a Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 24 Feb 2003 15:19:06 +0000
Subject: coq_makefile dit comment faire le .depend (evite l'echec lorsque
 .depend n'existe pas)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3696 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 423b7ca14..d42ccd17a 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -84,7 +84,7 @@ let standard sds =
   if !opt = "" then print "\t@echo \"WARNING: opt is disabled\"\n";
   print "\t$(MAKE) all \"OPT="; print !opt; print "\"\n\n";
   if !some_file then print "include .depend\n\n";
-  print "depend:\n";
+  print ".depend depend:\n";
   if !some_file then begin
     print "\trm .depend\n";
     print "\t$(COQDEP) -i $(COQLIBS) *.v *.ml *.mli >.depend\n";
-- 
cgit v1.2.3