plan9port

commit 98deccf380592f8c5576d1e10d518cd181a2a2c0
parent fff4d1f20a8d3014789f38c9b5846e9288345531
Author: rsc <devnull@localhost>
Date:   Tue, 19 Jul 2005 11:04:21 +0000

use plan 9 rc

Diffstat:
M
dist/checkman.awk
 | 
2
++
M
dist/mkfile
 | 
2
+-

2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/dist/checkman.awk b/dist/checkman.awk
@@ -89,6 +89,7 @@ BEGIN {
 	Omitman["signal(7)"] = 1
 
 	Omitman["cron(8)"] = 1
+	Omitman["mount(8)"] = 1
 
 	# don't need documentation for these in bin
 	Omitted[".cvsignore"] = 1
@@ -113,6 +114,7 @@ BEGIN {
 	Omitted["unutf"] = 1
 	Omitted["volume"] = 1
 	Omitted["vtdump"] = 1
+	Omitted["netfilelib.rc"] = 1
 
 	# not for users
 	Omittedlib["creadimage"] = 1
diff --git a/dist/mkfile b/dist/mkfile
@@ -6,7 +6,7 @@ check.out:V:
 	9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out
 
 man:V:
-	rc ./manweb
+	9 rc ./manweb
 
 push:V:
 	rsync -r -e ssh -t --delete $PLAN9/man/ swtch.com:www/swtch.com/plan9port/man