Commit 524dd85a91ac60208ba326847cf81b1208dab52d
Committed by
Henry Schreiner
Henry Schreiner
1 parent
0387f35e
Fixing doxygen download
Showing
1 changed file
with
1 additions
and
1 deletions
.ci/build_doxygen.sh
| @@ -3,7 +3,7 @@ | @@ -3,7 +3,7 @@ | ||
| 3 | 3 | ||
| 4 | set -evx | 4 | set -evx |
| 5 | 5 | ||
| 6 | -DOXYGEN_URL="ftp://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.13.src.tar.gz" | 6 | +DOXYGEN_URL="http://doxygen.nl/files/doxygen-1.8.14.src.tar.gz" |
| 7 | cd "${DEPS_DIR}" | 7 | cd "${DEPS_DIR}" |
| 8 | 8 | ||
| 9 | if [[ ! -f "${DEPS_DIR}/doxygen/build/bin/doxygen" ]] ; then | 9 | if [[ ! -f "${DEPS_DIR}/doxygen/build/bin/doxygen" ]] ; then |