Generate HTML and man-pages with doxygen