projects
/
packages
/
coq.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
857e15b
)
- package installed docs
author
Jan Rękorajski
<baggins@pld-linux.org>
Fri, 8 Apr 2011 18:51:59 +0000
(18:51 +0000)
committer
cvs2git
<feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000
(12:13 +0000)
Changed files:
coq.spec -> 1.23
coq.spec
patch
|
blob
|
blame
|
history
diff --git
a/coq.spec
b/coq.spec
index cbb02cd532940d88d568516961f635f86e9677b3..5d9fcec8849b7c70d133018fca38d7e0291f4da7 100644
(file)
--- 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
This page took
0.056202 seconds
and
4
git commands to generate.