From 7c1939cd7722df92d57cc889ee3df61ed9217533 Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 15 Mar 2004 14:33:10 +0000
Subject: preparation packages V8.0-cdrom

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5492 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/coq.spec | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'distrib')

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