The options to control the generation of HTML output/documentation