Doxygen HTML file for Github web pages