diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml4 | 6 |
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"; |