doxygen and html tree