diff --git a/.ci/build_doxygen.sh b/.ci/build_doxygen.sh index 97dd4e1..800e508 100644 --- a/.ci/build_doxygen.sh +++ b/.ci/build_doxygen.sh @@ -3,7 +3,7 @@ set -evx -DOXYGEN_URL="ftp://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.13.src.tar.gz" +DOXYGEN_URL="http://doxygen.nl/files/doxygen-1.8.14.src.tar.gz" cd "${DEPS_DIR}" if [[ ! -f "${DEPS_DIR}/doxygen/build/bin/doxygen" ]] ; then