From 00b1b8838d717f44cd2c309ab6db3f737ded801a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 19 Sep 2001 15:53:19 +0000
Subject: la cible all était incomplète

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

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index fcfd00cb40..613257c685 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -272,7 +272,8 @@ let all_target l =
   print "HTMLFILES=$(VFILES:.v=.html)\n";
   print "GHTMLFILES=$(VFILES:.v=.g.html)\n";
   print "\n";
-  print "all: $(VOFILES)\n\n";
+  print "all: "; print_list "\\\n  " (fnames l);
+  print "\n\n";
   if !some_vfile then begin
     print "spec: $(VIFILES)\n\n";
     print "gallina: $(GFILES)\n\n";
-- 
cgit v1.2.3