1 This directory contains scripts and files that help to run the distribution.
2 
3 mk check.out
4 	summarizes problems with the man pages.
5 
6 mk man
7 	recreates the HTML version of the man pages
8 
9 mk push
10 	copies the HTML pages to 9fans.github.io
11 
12