Re #9647. Making docs-html something that is optionally buildable.
Merge branch 'feature/9647_qthelp_target' into develop