This document was generated using the LaTeX2HTML translator Version 2018.3 (Released July 19, 2018)
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 2018-12-08