doxygen-html: initial import