From 98deccf380592f8c5576d1e10d518cd181a2a2c0 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Tue, 19 Jul 2005 11:04:21 +0000
Subject: use plan 9 rc

---
 dist/checkman.awk | 2 ++
 dist/mkfile       | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'dist')

diff --git a/dist/checkman.awk b/dist/checkman.awk
index 20081d5a..947888dc 100644
--- 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
index e2e81c0f..28cf31ce 100644
--- 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
-- 
cgit v1.2.3