# About this document ...

The LATEX2HTML Translator

This document was generated using the LaTeX2HTML translator Version 2019.2 (Released June 5, 2019)

The command line arguments were:
`latex2html -test_mode -no_math -html_version 4.0,math,frame -accent_images textrm -scalable_fonts -short_index -split 4 -link 5 -no_auto_link -t LaTeX2HTML manual.tex`

The translation was initiated on 2019-07-06