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]]