package/ci: download doxygen from elsewhere.

I don't have time to plow through new bugs in 1.8.18, 19 and 20, so
DON'T delete the old versions FFS.

diff --git a/package/ci/travis.yml b/package/ci/travis.yml
index 06078a53861b06fb222f8e444bb39127c1436d9f..61a430cf4252a6a1c5c05736f22a3bf8e1a29d53 100644 (file)
--- a/package/ci/travis.yml
+++ b/package/ci/travis.yml
@@ -60,9 +60,8 @@ install:
   # Needed for doxygen binaries
   - if [ "$WITH_DOCUMENTATION" == "ON" ]; then mkdir -p $HOME/bin && export PATH=$HOME/bin:$PATH; fi
 
-  # Old releases are randomly deleted from this location, so even if I would
-  # want to, I can't test with older versions
-  - if [ "$WITH_DOCUMENTATION" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://doxygen.nl/files/doxygen-1.8.17.linux.bin.tar.gz" && tar -xzf doxygen-1.8.17.linux.bin.tar.gz && cp doxygen-1.8.17/bin/doxygen $HOME/bin && doxygen -v; fi
+  # Old releases are randomly deleted from doxygen.nl, use sourceforge instead
+  - if [ "$WITH_DOCUMENTATION" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "https://sourceforge.net/projects/doxygen/files/rel-1.8.17/doxygen-1.8.17.linux.bin.tar.gz" && tar -xzf doxygen-1.8.17.linux.bin.tar.gz && cp doxygen-1.8.17/bin/doxygen $HOME/bin && doxygen -v; fi
 
 script:
   # Test the theme. No code coverage there.