use plan 9 rc
diff --git a/dist/checkman.awk b/dist/checkman.awk
index 20081d5..947888d 100644
--- a/dist/checkman.awk
+++ b/dist/checkman.awk
@@ -89,6 +89,7 @@
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 @@
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
index e2e81c0..28cf31c 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -6,7 +6,7 @@
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
