doxygen updated by travis-ci