tuse plan 9 rc - plan9port - [fork] Plan 9 from user space
HTML git clone git://src.adamsgaard.dk/plan9port
DIR Log
DIR Files
DIR Refs
DIR README
DIR LICENSE
---
DIR commit 98deccf380592f8c5576d1e10d518cd181a2a2c0
DIR parent fff4d1f20a8d3014789f38c9b5846e9288345531
HTML 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(-)
---
DIR diff --git a/dist/checkman.awk b/dist/checkman.awk
t@@ -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
t@@ -113,6 +114,7 @@ BEGIN {
Omitted["unutf"] = 1
Omitted["volume"] = 1
Omitted["vtdump"] = 1
+ Omitted["netfilelib.rc"] = 1
# not for users
Omittedlib["creadimage"] = 1
DIR diff --git a/dist/mkfile b/dist/mkfile
t@@ -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