From: Vladimír Vondruš <mosra@centrum.cz>
Date: Sun, 30 Dec 2018 00:09:25 +0000 (+0100)
Subject: package/ci: use Doxygen 1.8.15.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=b9a4d4920d2d36726dfe28902932b802718200f7;p=blog.git

package/ci: use Doxygen 1.8.15.

Finally, a year later, a stable release I can use for testing on Travis.
On the other hand I'm furious because the old FTP got lost along with
all files it had and now the only possibility is to fetch infested crap
from sourceforge.

Also UGH WHY SO SLOW.
---

diff --git a/package/ci/travis.yml b/package/ci/travis.yml
index fe24cfea..20f9f0f1 100644
--- a/package/ci/travis.yml
+++ b/package/ci/travis.yml
@@ -53,9 +53,7 @@ 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
-  # 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
+  - if [ "$WITH_DOXYGEN" == "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
 
 script:
   # Test the theme. No code coverage there.