preparation packages V8.0-cdrom

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

2 files changed, 3 insertions, 4 deletions

diff --git a/configure b/configure
index 20c0896a50..3b3d49adb5 100755
--- a/configure
+++ b/configure
@@ -6,7 +6,7 @@
 # 
 ##################################
 
-VERSION=8.0-cdrom
+VERSION=8.0cdrom
 VERSIONSI=1.0
 DATE="Mar 2004"
 
diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec
index d52a3027c7..69db2eae63 100644
--- a/distrib/RH/coq.spec
+++ b/distrib/RH/coq.spec
@@ -1,7 +1,5 @@
-# This file has been generated from RH/coq.spec.tpl
-# Do not edit
 Name: coq
-Version: 8.0
+Version: 8.0cdrom
 Release: 1
 Summary: The Coq Proof Assistant
 Copyright: freely redistributable
@@ -54,6 +52,7 @@ if [ -L /usr/local/lib/ocaml ]; then
   rm /usr/local/lib/ocaml
 fi
 
+# the spec file is moved to distrib/RH/src/coqX.Y but coq.list is in distrib/RH
 %files -f ../../coq.list
 %defattr(-,root,root)