[Agda] note emacs-agda interactive environment in description

[Jens Petersen]

commit 7d0ed70eb3fc0918929e77e344d30b6d9a5ee632
Author: Jens Petersen <petersen at redhat.com>
Date:   Sun Jul 15 16:30:33 2012 +0900

    note emacs-agda interactive environment in description

 Agda.spec |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 31f0bdb..cb9a3ed 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -24,6 +24,8 @@ This package provides a command-line program for type-checking and
 compiling Agda programs. The program can also generate hyperlinked,
 highlighted HTML files from Agda sources.
 
+For the interactive environment please install emacs-agda instead.
+
 
 %prep
 %setup -q -n %{pkg_name}-%{version}