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