Report de la révision #12676

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12677 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 6 deletions

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 2ce895f1d3..617ca1d970 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -504,14 +504,14 @@ let rec process_cmd_line = function
 
 let banner () =
   print (Printf.sprintf
-"##########################################################################
-##  v      #                  The Coq Proof Assistant                   ##
-## <O___,, # CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud ##
-##   \\VV/  #                                                            ##
+"#############################################################################
+##  v      #                   The Coq Proof Assistant                     ##
+## <O___,, #  CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud   ##
+##   \\VV/  #                                                               ##
 ##    //   #  Makefile automagically generated by coq_makefile V%s ##
-##########################################################################
+#############################################################################
 
-" (Coq_config.version ^ String.make (7 - String.length Coq_config.version) ' '))
+" (Coq_config.version ^ String.make (10 - String.length Coq_config.version) ' '))
 
 let warning () =
   print "# WARNING\n#\n";