Merge pull request #3567 from peterschrammel/doxygen-download

Fix broken doxygen download link

Author: peterschrammel

scripts/build_doxygen.sh

@@ -11,6 +11,6 @@ then
 fi
 
 mkdir -p doxygen/build
-wget http://ftp.stack.nl/pub/users/dimitri/doxygen-${DOXYGEN_VERSION}.src.tar.gz -O- | tar -xz --strip-components=1 --directory doxygen
+wget http://doxygen.nl/files/doxygen-${DOXYGEN_VERSION}.src.tar.gz -O- | tar -xz --strip-components=1 --directory doxygen
 ( cd doxygen/build && cmake .. )
 make -j4 -C doxygen/build