diff options
| author | rsc <devnull@localhost> | 2005-01-04 22:33:11 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-04 22:33:11 +0000 |
| commit | 02f38ca68ce484b2aad15fad4d59c4d43ef7eb1b (patch) | |
| tree | ccd5694767b3939b5752f39597b2226b72f6993b /dist/mkfile | |
| parent | 3e1c71811965930d52db3df4d57acb9d9020f8df (diff) | |
| download | plan9port-02f38ca68ce484b2aad15fad4d59c4d43ef7eb1b.tar.gz plan9port-02f38ca68ce484b2aad15fad4d59c4d43ef7eb1b.tar.bz2 plan9port-02f38ca68ce484b2aad15fad4d59c4d43ef7eb1b.zip | |
man page checking
Diffstat (limited to 'dist/mkfile')
| -rw-r--r-- | dist/mkfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/mkfile b/dist/mkfile new file mode 100644 index 00000000..5e679d52 --- /dev/null +++ b/dist/mkfile @@ -0,0 +1,5 @@ +check.out:V: + cd ../man; mk indices + cd .. + awk -f dist/checkman.awk man/man*/*.* >dist/check.out + |