packages: coq/coq.spec - package installed docs

baggins baggins at pld-linux.org
Fri Apr 8 20:52:04 CEST 2011


Author: baggins                      Date: Fri Apr  8 18:52:04 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- package installed docs

---- Files affected:
packages/coq:
   coq.spec (1.22 -> 1.23) 

---- Diffs:

================================================================
Index: packages/coq/coq.spec
diff -u packages/coq/coq.spec:1.22 packages/coq/coq.spec:1.23
--- packages/coq/coq.spec:1.22	Fri Apr  8 20:31:08 2011
+++ packages/coq/coq.spec	Fri Apr  8 20:51:59 2011
@@ -110,11 +110,15 @@
 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
@@ -165,6 +169,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.23  2011/04/08 18:51:59  baggins
+- package installed docs
+
 Revision 1.22  2011/04/08 18:31:08  baggins
 - TODO and proper explanation why tests fail
 - made make loud
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq.spec?r1=1.22&r2=1.23&f=u



More information about the pld-cvs-commit mailing list