From c24154216b7ef81e85ca2dead4429c3595aa9e93 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 18 Jul 2008 09:44:50 +0000
Subject: Affichage intempestif d'information de globalisation + numéro de
 version dans coq_makefile

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

(limited to 'tools')

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 7b4b7c6e4b..73c79b86c8 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -418,15 +418,15 @@ let rec process_cmd_line = function
             Subdir f :: (process_cmd_line r)
 	      
 let banner () =
-  print
+  print (Printf.sprintf
 "##########################################################################
 ##  v      #                  The Coq Proof Assistant                   ##
 ## <O___,, # CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud ##
 ##   \\VV/  #                                                            ##
-##    //   #   Makefile automagically generated by coq_makefile V8.2    ##
+##    //   #   Makefile automagically generated by coq_makefile V%s    ##
 ##########################################################################
 
-"
+" Coq_config.version)
 
 let warning () =
   print "# WARNING\n#\n";
-- 
cgit v1.2.3