Update doxygen link
@@ -9,7 +9,7 @@ before_script:
# download doxygen 1.8.12
- mkdir -p $HOME/doxygen
- cd $HOME/doxygen
- - ls doxygen* >/dev/null 2>&1 || curl http://ftp.kaist.ac.kr/doxygen/doxygen-1.8.12.linux.bin.tar.gz | tar xz
+ - 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
script:
- set -e
