- Suppression date dans configure du trunk

- Utilisation de get_version_date pour l'option -v (plutôt que la date
  non à jour du configure)



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11714 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 72c1ba8be..dd37b2d36 100755
--- a/configure
+++ b/configure
@@ -9,7 +9,7 @@
 VERSION=trunk
 VOMAGIC=08193 
 STATEMAGIC=19764
-DATE="Jun. 2008"
+DATE="date unspecified"
 
 # Create the bin/ directory if non-existent
 test -d bin || mkdir bin