diff options
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 + |