Build new HTML docs with Doxygen 1.8.6.