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