Add link to doxygen manual at github pages.