rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use ghc_docdir 

for backportability wrt F20 unversioned docdir
This commit is contained in:
Jens Petersen 2013-07-26 14:51:16 +09:00
parent d7c1d5f202
commit b26047ff92
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Agda.spec
View File

@ -166,7 +166,7 @@ rm %{buildroot}%{_bindir}/agda-mode
rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/EpicInclude
rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
rm %{buildroot}%{_docdir}/%{name}-%{version}/LICENSE
rm %{buildroot}%{ghc_docdir}/LICENSE
%post -n ghc-%{name}-devel
@ -204,6 +204,9 @@ rm %{buildroot}%{_docdir}/%{name}-%{version}/LICENSE
%changelog
* Fri Jul 26 2013 Jens Petersen <petersen@redhat.com>
- use ghc_docdir
* Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-1
- rename src package from ghc-Agda to Agda
- update to 2.3.2.1