This directory and files are used to generate the html for the man
pages used on the website.  They are not distributed with the src
dist.
