From 524dd85a91ac60208ba326847cf81b1208dab52d Mon Sep 17 00:00:00 2001
From: Henry Fredrick Schreiner <henry.fredrick.schreiner@cern.ch>
Date: Wed, 19 Dec 2018 07:55:33 +0100
Subject: [PATCH] Fixing doxygen download

---
 .ci/build_doxygen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/build_doxygen.sh b/.ci/build_doxygen.sh
index 97dd4e1e..800e5081 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