From: Vladimír Vondruš <mosra@centrum.cz>
Date: Thu, 7 May 2020 17:26:34 +0000 (+0200)
Subject: package/ci: use doxygen 1.8.17.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=2f121aa830cef3709c54251a0d08006b8ab0fa7a;p=blog.git

package/ci: use doxygen 1.8.17.

1.8.16 and older got deleted from there, so there's no other option
anyway. OTOH 1.8.18 doesn't work on Ubuntu 16.04 anymore (FFS) so I have
to stay on 1.8.17.
---

diff --git a/package/ci/travis.yml b/package/ci/travis.yml
index d0eac53e..06078a53 100644
--- a/package/ci/travis.yml
+++ b/package/ci/travis.yml
@@ -60,8 +60,9 @@ install:
   # Needed for doxygen binaries
   - if [ "$WITH_DOCUMENTATION" == "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_DOCUMENTATION" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://doxygen.nl/files/doxygen-1.8.15.linux.bin.tar.gz" && tar -xzf doxygen-1.8.15.linux.bin.tar.gz && cp doxygen-1.8.15/bin/doxygen $HOME/bin && doxygen -v; 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
 
 script:
   # Test the theme. No code coverage there.