diff options
author | rsc <devnull@localhost> | 2005-01-03 06:41:38 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-03 06:41:38 +0000 |
commit | a19c44b83b96fefad131ef324c3eb2916e8c604c (patch) | |
tree | 9fee0b867751c0b9fe63a2763067c2e37403a866 /man/mkfile | |
parent | 058b0118a52061ad57694c01fc8763b22b789c4d (diff) | |
download | plan9port-a19c44b83b96fefad131ef324c3eb2916e8c604c.tar.gz plan9port-a19c44b83b96fefad131ef324c3eb2916e8c604c.tar.bz2 plan9port-a19c44b83b96fefad131ef324c3eb2916e8c604c.zip |
Add mkfile to keep indices up to date.
Remove man pages for things we don't provide.
Diffstat (limited to 'man/mkfile')
-rw-r--r-- | man/mkfile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/man/mkfile b/man/mkfile new file mode 100644 index 00000000..cbe71705 --- /dev/null +++ b/man/mkfile @@ -0,0 +1,8 @@ +LIB=$PLAN9/lib + +indices:V: + for i in man* + do + ./secindex $i > $i/INDEX + done + |