[Agda] use ghc_docdir

[Jens Petersen]

commit b26047ff92624242f26fa5a7a13b45b434118956
Author: Jens Petersen <petersen at redhat.com>
Date:   Fri Jul 26 14:51:16 2013 +0900

    use ghc_docdir
    
    for backportability wrt F20 unversioned docdir

 Agda.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index d68c633..edab375 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -166,7 +166,7 @@ rm %{buildroot}%{_bindir}/agda-mode
 rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/EpicInclude
 rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
 
-rm %{buildroot}%{_docdir}/%{name}-%{version}/LICENSE
+rm %{buildroot}%{ghc_docdir}/LICENSE
 
 
 %post -n ghc-%{name}-devel
@@ -204,6 +204,9 @@ rm %{buildroot}%{_docdir}/%{name}-%{version}/LICENSE
 
 
 %changelog
+* Fri Jul 26 2013 Jens Petersen <petersen at redhat.com>
+- use ghc_docdir
+
 * Tue Jun 11 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-1
 - rename src package from ghc-Agda to Agda
 - update to 2.3.2.1