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

1 files changed, 3 insertions, 3 deletions

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";