diff options
| -rw-r--r-- | tools/coq_makefile.ml4 | 12 |
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"; |