[Agda] move LICENSE file to shared subpkg

[Jens Petersen]

commit c64c7b4f4382e1f5d0f784f448abf967061146c5
Author: Jens Petersen <petersen at redhat.com>
Date:   Fri Jun 14 19:24:00 2013 +0900

    move LICENSE file to shared subpkg

 Agda.spec |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index c84ff8b..c53fd38 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -166,6 +166,8 @@ 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
+
 
 %post -n ghc-%{name}-devel
 %ghc_pkg_recache