From b71ed5d423d7e95217fd8165827673cbb49d279a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 30 Apr 2004 13:16:34 +0000
Subject: Position du %defattr importante

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5714 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/coq.spec              | 6 ++----
 distrib/RH/coq_ext_for_pcoq.spec | 5 ++---
 distrib/RH/coqide.spec           | 5 ++---
 3 files changed, 6 insertions(+), 10 deletions(-)

(limited to 'distrib')

diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec
index a7c0d2b6c9..30a1e577dd 100644
--- a/distrib/RH/coq.spec
+++ b/distrib/RH/coq.spec
@@ -1,6 +1,6 @@
 Name: coq
 Version: 8.0
-Release: 1
+Release: 2
 Summary: The Coq Proof Assistant
 Copyright: freely redistributable
 Group: Applications/Math
@@ -44,11 +44,9 @@ make -e COQINSTALLPREFIX=%{buildroot} install-coq
 %define __spec_install_post /usr/lib/rpm/brp-compress
 
 %files
+%defattr(-,root,root)
 %{_bindir}/*
 %{_libdir}/coq
 %{_mandir}/man1/*
 %{_datadir}/emacs/site-lisp/*
 %{_datadir}/texmf/tex/latex/misc/*
-
-%defattr(-,root,root)
-
diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec
index 0dfe10d32c..954be7239d 100644
--- a/distrib/RH/coq_ext_for_pcoq.spec
+++ b/distrib/RH/coq_ext_for_pcoq.spec
@@ -1,6 +1,6 @@
 Name: coq_ext_for_pcoq
 Version: 8.0
-Release: 1
+Release: 2
 Summary: The Coq Extension for Pcoq
 Copyright: freely redistributable
 Group: Applications/Math
@@ -38,9 +38,8 @@ make -e COQINSTALLPREFIX=%{buildroot} install-pcoq
 %define __spec_install_post /usr/lib/rpm/brp-compress
 
 %files
+%defattr(-,root,root)
 %{_bindir}/*
 %{_libdir}/coq/contrib/interface
 %{_mandir}/man1/*
 
-%defattr(-,root,root)
-
diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec
index b88f099fab..c1c5cecab0 100644
--- a/distrib/RH/coqide.spec
+++ b/distrib/RH/coqide.spec
@@ -1,6 +1,6 @@
 Name: coqide
 Version: 8.0
-Release: 1
+Release: 2
 Summary: The Coq Integrated Development Interface
 Copyright: freely redistributable
 Group: Applications/Math
@@ -37,7 +37,6 @@ make -e COQINSTALLPREFIX=%{buildroot} install-coqide
 %define __spec_install_post /usr/lib/rpm/brp-compress
 
 %files
+%defattr(-,root,root)
 %{_bindir}/*
 %{_libdir}/coq/ide
-
-%defattr(-,root,root)
-- 
cgit v1.2.3