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 2022-04-25