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

update doc files list

This commit is contained in:
Jens Petersen 2015-04-03 19:01:27 +09:00
parent 8faac28c15
commit ecc95706d7
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Agda.spec
View File

@ -192,6 +192,7 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%files
%doc README.md
%files -n ghc-%{name} -f ghc-%{name}.files
@ -200,12 +201,10 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
%doc doc/release-notes
%doc CHANGELOG
%{_bindir}/agda
%files -n emacs-agda
%doc README
%dir %{_emacs_sitelispdir}/agda
%{_emacs_sitelispdir}/agda/*.elc
%{_emacs_sitestartdir}/*.el