man page checking
This commit is contained in:
parent
3e1c718119
commit
02f38ca68c
2 changed files with 458 additions and 0 deletions
5
dist/mkfile
vendored
Normal file
5
dist/mkfile
vendored
Normal file
|
|
@ -0,0 +1,5 @@
|
|||
check.out:V:
|
||||
cd ../man; mk indices
|
||||
cd ..
|
||||
awk -f dist/checkman.awk man/man*/*.* >dist/check.out
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue