# -- Options for HTMLHelp output ---------------------------------------------
# Output file base name for HTML help builder.
# -- Options for HTMLHelp output ---------------------------------------------
# Output file base name for HTML help builder.