From 5870aeaa39a1e2c2d7988797dd3e7a5ea68d747b Mon Sep 17 00:00:00 2001
From: cinap_lenrek <cinap_lenrek@localhost>
Date: Fri, 26 Aug 2011 06:43:39 +0200
Subject: checkman: ignore inst/*

---
 sys/lib/man/checkman.awk | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sys/lib/man')

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
-- 
cgit v1.2.3