This document has been built using LATEX and TEX4ht. All the source files can be found in this archive.

More information about TEX4ht is available from Eitan Gurari’s site.