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

---
 Agda.spec | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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