Update doxygen download URL
This commit is contained in:
parent
1ede098e90
commit
7484e06c58
@ -4,9 +4,9 @@
|
|||||||
|
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
DOXYGEN_VER=doxygen-1.8.13
|
DOXYGEN_VER=doxygen-1.8.15
|
||||||
DOXYGEN_TAR=${DOXYGEN_VER}.linux.bin.tar.gz
|
DOXYGEN_TAR=${DOXYGEN_VER}.linux.bin.tar.gz
|
||||||
DOXYGEN_URL="http://ftp.stack.nl/pub/users/dimitri/${DOXYGEN_TAR}"
|
DOXYGEN_URL="http://doxygen.nl/files/${DOXYGEN_TAR}"
|
||||||
|
|
||||||
: ${GITHUB_REPO:="Tencent/rapidjson"}
|
: ${GITHUB_REPO:="Tencent/rapidjson"}
|
||||||
GITHUB_HOST="github.com"
|
GITHUB_HOST="github.com"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user