Doxygen and man