Update doxygen on gh-pages.
Update doxygen on gh-pages.