From 8d8ec41c5cad7896f6214181ecbdda9e008a68ed Mon Sep 17 00:00:00 2001 From: "Itai Y. Efrat" Date: Sat, 9 Apr 2022 18:28:48 +0300 Subject: [PATCH] docs(agda): document +local flag --- modules/lang/agda/README.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/lang/agda/README.org b/modules/lang/agda/README.org index 9420d621a..1fecf1d49 100644 --- a/modules/lang/agda/README.org +++ b/modules/lang/agda/README.org @@ -13,7 +13,8 @@ exists directly in the agda repository, but not in melpa. /This module has no dedicated maintainers./ [[doom-contrib-maintainer:][Become a maintainer?]] ** Module flags -/This module has no flags./ +- +local :: + Use the =agda-mode= executable that comes with your local =agda= install. ** Packages - unless [[doom-module:][+local]]