[Agda] replace ghc_docdir by _pkgdocdir

[Jens Petersen]

commit dee2bbcda8cdaa3e9aab20805a3f35dd86ccb4ee
Author: Jens Petersen <petersen at redhat.com>
Date:   Tue Aug 27 19:20:40 2013 +0900

    replace ghc_docdir by _pkgdocdir

 Agda.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 0bc8357..c1f7f79 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}%{ghc_docdir}/LICENSE
+rm %{buildroot}%{_pkgdocdir}/LICENSE
 
 
 %post -n ghc-%{name}-devel
@@ -204,6 +204,9 @@ rm %{buildroot}%{ghc_docdir}/LICENSE
 
 
 %changelog
+* Tue Aug 27 2013 Jens Petersen <petersen at redhat.com>
+- replace ghc_docdir by _pkgdocdir
+
 * Fri Aug 02 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.2.1-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild