package/ci: try to use Doxygen 1.8.14, finally.

diff --git a/package/ci/travis.yml b/package/ci/travis.yml
index 141a54bdc5cfb614e66ef994946bccf09355cac7..f2ad94b8e59d86baf4fc330046b5b7e78fd9e3a9 100644 (file)
--- a/package/ci/travis.yml
+++ b/package/ci/travis.yml
@@ -54,7 +54,9 @@ install:
   - if [ "$WITH_DOXYGEN" == "ON" ]; then mkdir -p $HOME/bin && export PATH=$HOME/bin:$PATH; fi
 
   # Download newer Doxygen, as I don't want to care for the old bugs
-  - if [ "$WITH_DOXYGEN" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.13.linux.bin.tar.gz" && tar -xzf doxygen-1.8.13.linux.bin.tar.gz && cp doxygen-1.8.13/bin/doxygen $HOME/bin && doxygen -v; fi
+  # TODO: use a stable URL once https://github.com/doxygen/doxygen/issues/6393
+  # is resolved
+  - if [ "$WITH_DOXYGEN" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://ftp.stack.nl/pub/users/dimitri/test/doxygen-1.8.14.static_clang.linux.bin.tar.gz" && tar -xzf doxygen-1.8.14.static_clang.linux.bin.tar.gz && cp doxygen-1.8.14/bin/doxygen $HOME/bin && doxygen -v; fi
 
 script:
   # Test the theme. No code coverage there.