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