*** empty log message ***

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

3 files changed, 8 insertions, 6 deletions

diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec
index eb6c9631f4..a7c0d2b6c9 100644
--- a/distrib/RH/coq.spec
+++ b/distrib/RH/coq.spec
@@ -41,14 +41,11 @@ make clean
 rm -rf %{buildroot}
 make -e COQINSTALLPREFIX=%{buildroot} install-coq
 
+%define __spec_install_post /usr/lib/rpm/brp-compress
+
 %files
 %{_bindir}/*
-%{_libdir}/coq/theories
-%{_libdir}/coq/contrib
-%{_libdir}/coq/states
-%{_libdir}/coq/theories7
-%{_libdir}/coq/contrib7
-%{_libdir}/coq/states7
+%{_libdir}/coq
 %{_mandir}/man1/*
 %{_datadir}/emacs/site-lisp/*
 %{_datadir}/texmf/tex/latex/misc/*
diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec
index 29671985f8..0dfe10d32c 100644
--- a/distrib/RH/coq_ext_for_pcoq.spec
+++ b/distrib/RH/coq_ext_for_pcoq.spec
@@ -35,8 +35,11 @@ make clean
 rm -rf %{buildroot}
 make -e COQINSTALLPREFIX=%{buildroot} install-pcoq
 
+%define __spec_install_post /usr/lib/rpm/brp-compress
+
 %files
 %{_bindir}/*
+%{_libdir}/coq/contrib/interface
 %{_mandir}/man1/*
 
 %defattr(-,root,root)
diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec
index e6d606166f..b88f099fab 100644
--- a/distrib/RH/coqide.spec
+++ b/distrib/RH/coqide.spec
@@ -34,6 +34,8 @@ make clean
 rm -rf %{buildroot}
 make -e COQINSTALLPREFIX=%{buildroot} install-coqide
 
+%define __spec_install_post /usr/lib/rpm/brp-compress
+
 %files
 %{_bindir}/*
 %{_libdir}/coq/ide