aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEitan Adler <eadler@FreeBSD.org>2018-05-27 05:05:32 +0000
committerEitan Adler <eadler@FreeBSD.org>2018-05-27 05:05:32 +0000
commit3b88940917cd4c50dc74e641112da0d064f22f3c (patch)
tree0c61a69eab5aaf5e899c52ef71853451e4973f53
parenteac1d5f88c83f0f43f47b4bf3c426f28f473eede (diff)
downloadports-3b88940917cd4c50dc74e641112da0d064f22f3c.tar.gz
ports-3b88940917cd4c50dc74e641112da0d064f22f3c.zip
MOVED,LEGAL: inform users of linting
These files tend to have errors. Maybe this will help.
Notes
Notes: svn path=/head/; revision=470956
-rw-r--r--LEGAL2
-rw-r--r--MOVED2
2 files changed, 4 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
diff --git a/MOVED b/MOVED
index c640a6dc6137..9042588aff7f 100644
--- a/MOVED
+++ b/MOVED
@@ -22,6 +22,8 @@
# line. If a port is copied to a new location and the old location is kept
# (e.g. upgraded to a later version), don't record it here.
#
+# This file can be linted with Tools/scripts/MOVEDlint.awk
+#
# Port|Moved to|Date|Why
audio/polypaudio|audio/pulseaudio|2008-01-01|Project renamed
audio/akode-plugins-polypaudio||2008-01-01|Polypaudio is obsolete in favor of Pulseaudio