add doxygen HTML