doc: Use official doxygen and bump up version to 1.8.16
@@ -6,10 +6,10 @@ cache:
- $HOME/doxygen
before_script:
- # download doxygen 1.8.12
+ # download doxygen 1.8.16
- mkdir -p $HOME/doxygen
- cd $HOME/doxygen
- - ls doxygen* >/dev/null 2>&1 || curl -L https://github.com/vitasdk/artifacts/releases/download/doxygen-1.8.12/doxygen-1.8.12.linux.bin.tar.gz | tar xz
+ - ls doxygen* >/dev/null 2>&1 || curl -L http://doxygen.nl/files/doxygen-1.8.16.linux.bin.tar.gz | tar xz
script:
- set -e
