add html files generated by Doxygen