Change the main targets to generate HTML instead of PostScript.

Update the comments at the beginning of the file.
1 file changed