[Agda] just remove the license file from the base pkg

[Jens Petersen]

commit d7c1d5f2023cb2d074c7129697e661970644730b
Author: Jens Petersen <petersen at redhat.com>
Date:   Fri Jun 14 19:25:33 2013 +0900

    just remove the license file from the base pkg

 Agda.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index c53fd38..d68c633 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
 
-mv %{buildroot}%{_docdir}/{,ghc-}%{name}-%{version}/LICENSE
+rm %{buildroot}%{_docdir}/%{name}-%{version}/LICENSE
 
 
 %post -n ghc-%{name}-devel