diff --git a/scripts/build_doxygen.sh b/scripts/build_doxygen.sh index 52a081f2640..1d2b6f82c19 100755 --- a/scripts/build_doxygen.sh +++ b/scripts/build_doxygen.sh @@ -11,6 +11,6 @@ then fi mkdir -p doxygen/build -wget http://doxygen.nl/files/doxygen-${DOXYGEN_VERSION}.src.tar.gz -O- | tar -xz --strip-components=1 --directory doxygen +wget https://downloads.sourceforge.net/project/doxygen/rel-${DOXYGEN_VERSION}/doxygen-${DOXYGEN_VERSION}.src.tar.gz -O- | tar -xz --strip-components=1 --directory doxygen ( cd doxygen/build && cmake .. ) make -j4 -C doxygen/build