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@redhat.com>
+- use ghc_docdir
+
 * Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-1
 - rename src package from ghc-Agda to Agda
 - update to 2.3.2.1