From: Jan Rękorajski <baggins@pld-linux.org>
Date: Fri, 8 Apr 2011 18:51:59 +0000 (+0000)
Subject: - package installed docs
X-Git-Tag: auto/th/coq-8_3pl1-1~1
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=c10c241b4cc14104c4b5a66634b0545fa0f97151

- package installed docs

Changed files:
    coq.spec -> 1.23
---

diff --git a/coq.spec b/coq.spec
index cbb02cd..5d9fcec 100644
--- a/coq.spec
+++ b/coq.spec
@@ -109,11 +109,15 @@ install -d $RPM_BUILD_ROOT{%{_desktopdir},%{_pixmapsdir}}
 install %{SOURCE1} $RPM_BUILD_ROOT%{_desktopdir}
 install %{SOURCE2} $RPM_BUILD_ROOT%{_pixmapsdir}
 
+# pdf is enough
+%{__rm} -r $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}/ps
+
 %clean
 rm -rf $RPM_BUILD_ROOT
 
 %files
 %defattr(644,root,root,755)
+%doc %{_docdir}/%{name}-%{version}
 %attr(755,root,root) %{_bindir}/coq_makefile
 %attr(755,root,root) %{_bindir}/coq-tex
 %attr(755,root,root) %{_bindir}/coqc