Get rid of the compilation date from the binaries to make them more stable.

Contrarily to the comments, Coq_config.date was not the "release date" but
just another "compile date".

1 files changed, 1 insertions, 2 deletions

diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 6ebf9b71d6..b8d5032373 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -87,8 +87,7 @@ let obsolete s =
     course). *)
 
 let banner () =
-  eprintf "This is coqdoc version %s, compiled on %s\n"
-    Coq_config.version Coq_config.compile_date;
+  eprintf "This is coqdoc version %s\n" Coq_config.version;
   flush stderr
 
 let target_full_name f =