From cd1783ed8e638c1e36ed4748b6b567582a354772 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 6 Sep 2019 12:39:25 +0900 Subject: [PATCH] Fix wiki for agda we no longer use agda-mode locate Signed-off-by: Rudi Grinberg --- modules/lang/agda/README.org | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/modules/lang/agda/README.org b/modules/lang/agda/README.org index 1812f748d..6713085bf 100644 --- a/modules/lang/agda/README.org +++ b/modules/lang/agda/README.org @@ -1,9 +1,4 @@ #+TITLE: :lang agda -This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language. - -Emacs support is included in the agda release (you can find installation -instructions [[https://agda.readthedocs.io/en/latest/getting-started/installation.html][here]]). This module attempts to find the location of ~agda2.el~ via -the ~agda-mode locate~ command that comes with the agda release. Users can set -this manually by setting the ~+agda2-dir~ variable. - +This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language. The Emacs support +exists directly in the agda repository but not in melpa.