diff options
Diffstat (limited to 'ports-mgmt/portlint/pkg-descr')
| -rw-r--r-- | ports-mgmt/portlint/pkg-descr | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/ports-mgmt/portlint/pkg-descr b/ports-mgmt/portlint/pkg-descr deleted file mode 100644 index 8fee79b44be3..000000000000 --- a/ports-mgmt/portlint/pkg-descr +++ /dev/null @@ -1,8 +0,0 @@ -portlint makes a small set of sanity checks for port directory. - -usage: portlint [-avN] [port_directory] - -a additional check for scripts/* and pkg/* - -b warn $(VARIABLE) - -c committer mode - -v verbose mode - -N writing a new port |