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