1 files changed, 2 insertions, 0 deletions
diff --git a/LEGAL b/LEGAL
index f3e6da121aac..251f956ef28b 100644
--- a/LEGAL
+++ b/LEGAL
@@ -21,6 +21,8 @@
 #
 # Such ports are listed below:
 #
+# This file can be linted with Tools/scripts/LEGALlint
+#
 # Dist			Port			Why
 # ------------------------------------------------------------------------------
 *-for-1.4.tgz	net/dgd-lpmud			May not be used for monetary gain