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

move LICENSE file to shared subpkg

Browse Source
This commit is contained in:
Jens Petersen 2013-06-14 19:24:00 +09:00
parent 3fef23a152
commit c64c7b4f43
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Agda.spec
View File

@ -166,6 +166,8 @@ 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
%post -n ghc-%{name}-devel
%ghc_pkg_recache