doxygen files in doc/