To make the production of the HTML document compatible with the production of a PostScript file via the latex2e and dvips tools, the LaTeX sources are preprocessed by an ad hoc filter. Similarly, intermediary files, and final HTML files are postprocessed to improve the rendering and correct some bugs.

The translation from scratch takes about 15 hours. It takes only 15 minutes if all images are reused and shared.