[Agda] note emacs-agda interactive environment in description
Jens Petersen
petersen at fedoraproject.org
Sun Jul 15 07:30:51 UTC 2012
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}
More information about the scm-commits
mailing list