| commit | a19c44b83b96fefad131ef324c3eb2916e8c604c | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Mon Jan 03 06:41:38 2005 +0000 |
| committer | rsc <devnull@localhost> | Mon Jan 03 06:41:38 2005 +0000 |
| tree | 9fee0b867751c0b9fe63a2763067c2e37403a866 | |
| parent | 058b0118a52061ad57694c01fc8763b22b789c4d [diff] [blame] |
Add mkfile to keep indices up to date. Remove man pages for things we don't provide.
diff --git a/man/mkfile b/man/mkfile new file mode 100644 index 0000000..cbe7170 --- /dev/null +++ b/man/mkfile
@@ -0,0 +1,8 @@ +LIB=$PLAN9/lib + +indices:V: + for i in man* + do + ./secindex $i > $i/INDEX + done +