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

just remove the license file from the base pkg

This commit is contained in:
Jens Petersen 2013-06-14 19:25:33 +09:00
parent c64c7b4f43
commit d7c1d5f202
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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
mv %{buildroot}%{_docdir}/{,ghc-}%{name}-%{version}/LICENSE
rm %{buildroot}%{_docdir}/%{name}-%{version}/LICENSE
%post -n ghc-%{name}-devel