| commit | 02f38ca68ce484b2aad15fad4d59c4d43ef7eb1b | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Tue Jan 04 22:33:11 2005 +0000 |
| committer | rsc <devnull@localhost> | Tue Jan 04 22:33:11 2005 +0000 |
| tree | ccd5694767b3939b5752f39597b2226b72f6993b | |
| parent | 3e1c71811965930d52db3df4d57acb9d9020f8df [diff] [blame] |
man page checking
diff --git a/dist/mkfile b/dist/mkfile new file mode 100644 index 0000000..5e679d5 --- /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 +