petersen pushed to Agda (f22). "update doc files list"

[notifications at fedoraproject.org]

>From ecc95706d72dc6af7163a355b86b46a9612315f6 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Fri, 3 Apr 2015 19:01:27 +0900
Subject: update doc files list


diff --git a/Agda.spec b/Agda.spec
index a86afed..8a8fa6c 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -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
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=f22&id=ecc95706d72dc6af7163a355b86b46a9612315f6