reduced verbosity in generate-html-docs