From f930602d29ee71144b620629b3f7148e22e309c1 Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 11 Feb 2009 14:39:08 +0000
Subject: Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11915 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index f187ae50db..04f9ee4b00 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -78,7 +78,7 @@ let obsolete s =
 
 let banner () =
   eprintf "This is coqdoc version %s, compiled on %s\n"
-    Revision.version Revision.date;
+    Coq_config.version Coq_config.compile_date;
   flush stderr
     
 let target_full_name f = 
-- 
cgit v1.2.3