From c10c241b4cc14104c4b5a66634b0545fa0f97151 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Fri, 8 Apr 2011 18:51:59 +0000
Subject: [PATCH] - package installed docs

Changed files:
    coq.spec -> 1.23
---
 coq.spec | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.44.0