travis-doxygen.sh: temporarily ignore failing GH page update