New scripts to generate html using old doc input files. This directory
will be merged in the main doc eventually.
