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