From 4f10ceb2213fdff9d30b5bce8ebd22cb9f8801a7 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 6 Oct 2016 16:22:37 +0900
Subject: [PATCH] final build fixes

EpicInclude is gone
---
 Agda.spec | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/Agda.spec b/Agda.spec
index 420ba77..8c4c086 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -163,7 +163,6 @@ mkdir -p %{buildroot}%{_emacs_sitestartdir}
 install -p -m 0644 %SOURCE1 %{buildroot}%{_emacs_sitestartdir}
 
 rm %{buildroot}%{_bindir}/agda-mode
-rm -r %{buildroot}%{_datadir}/%{pkgver}/EpicInclude
 rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
@@ -180,7 +179,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %files
-%doc README.md
+%doc %{pkgver}/README.md
 %dir %{_emacs_sitelispdir}/agda
 %{_emacs_sitelispdir}/agda/*.el
 %{_emacs_sitelispdir}/agda/*.elc
@@ -188,14 +187,14 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %files -n ghc-%{name} -f ghc-%{name}.files
-%license LICENSE
+%license %{pkgver}/LICENSE
 %{_bindir}/agda
 %{_datadir}/%{name}-%{version}
 %ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai
 
 
 %files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
-%doc CHANGELOG
+%doc %{pkgver}/CHANGELOG
 
 
 %changelog