From 31e205ae752c5189143ef9ce87a3536db0cdeb62 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 16 Feb 2021 09:02:37 +0100
Subject: 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".
---
 tools/coqdoc/main.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'tools')

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 =
-- 
cgit v1.2.3