From 15d975fb59e146f15eeef7279cc63354c0276f2e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 4 Sep 2001 12:00:12 +0000
Subject: Nouveau coq.spec avec les droits de root

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

diff --git a/distrib/RH/coq.spec.tpl b/distrib/RH/coq.spec.tpl
index 6d8add6318..cb14e65241 100644
--- a/distrib/RH/coq.spec.tpl
+++ b/distrib/RH/coq.spec.tpl
@@ -1,6 +1,6 @@
 Name: coq
 Version: 7.0
-Release: 1
+Release: 2
 Summary: The Coq Proof Assistant
 Copyright: freely redistributable
 Group: Applications/Math
@@ -51,4 +51,5 @@ if [ -L /usr/local/lib/ocaml ]; then
 fi
 
 %files
+%defattr(-,root,root)
 m4_include(coq.list)
-- 
cgit v1.2.3