All HTML files are generated from WML source.

If you wish to generate/view the HTML files locally, you'll need to
have wml and texi2html installed.  To make the HTML files, just
type "make".

Questions, comments, or gripes about this setup can be sent to
/dev/null.
