Dockerfile: use sourceforge for Doxygen
The doxygen site is back up, but the binaries
are no longer in their previous location.
Download the binaries from SourceForge instead,
like the readthedocs job does.
@@ -153,7 +153,7 @@ COPY --chown=user:user files/bash_aliases ${HOME}/.bash_aliases
# Remove the PDF manual and html directory to reduce image size.
# Use the most recent version of ccache to ensure it supports the compiler
# versions in the docker image.
-RUN wget -nv https://www.doxygen.nl/files/doxygen-1.9.4.linux.bin.tar.gz && \
+RUN wget -nv https://sourceforge.net/projects/doxygen/files/rel-1.9.4/doxygen-1.9.4.linux.bin.tar.gz/download -O doxygen-1.9.4.linux.bin.tar.gz && \
tar zxf doxygen-1.9.4.linux.bin.tar.gz -C ${HOME}/.local && \
rm -rf ${HOME}/.local/doxygen-1.9.4/html ${HOME}/.local/doxygen-1.9.4/*.pdf doxygen-1.9.4.linux.bin.tar.gz && \
(cd ${HOME}/.local/bin && ln -s ../doxygen-1.9.4/bin/doxygen .) && \
