diff options
| author | cinap_lenrek <cinap_lenrek@localhost> | 2011-08-26 06:43:39 +0200 |
|---|---|---|
| committer | cinap_lenrek <cinap_lenrek@localhost> | 2011-08-26 06:43:39 +0200 |
| commit | 5870aeaa39a1e2c2d7988797dd3e7a5ea68d747b (patch) | |
| tree | 4c2832dab611e712adfb8f4a4f6ca78e7416360c /sys/lib/man | |
| parent | 096ffdb686e1066f999c2d49df1eb501798e43f7 (diff) | |
checkman: ignore inst/*
Diffstat (limited to 'sys/lib/man')
| -rw-r--r-- | sys/lib/man/checkman.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/lib/man/checkman.awk b/sys/lib/man/checkman.awk index 92c64d593..cf14fbfd0 100644 --- a/sys/lib/man/checkman.awk +++ b/sys/lib/man/checkman.awk @@ -34,6 +34,7 @@ BEGIN { Skipdirs["lml"] = 1 Skipdirs["type1"] = 1 Skipdirs["service.alt"] = 1 + Skipdirs["inst"] = 1 Omitted["411"] = 1 Omitted["Kill"] = 1 |