mirror of
https://github.com/jkriege2/JKQtPlotter.git
synced 2024-11-15 18:15:52 +08:00
34 lines
803 B
YAML
34 lines
803 B
YAML
sudo: false
|
|
|
|
branches:
|
|
only:
|
|
- master
|
|
|
|
addons:
|
|
apt:
|
|
|
|
install:
|
|
############################################################################
|
|
# Install a recent Doxygen
|
|
############################################################################
|
|
- |
|
|
if [[ "${DOCUMENTATION}" == "true" ]]; then
|
|
DOXYGEN_URL="http://doxygen.nl/files/doxygen-1.8.15.linux.bin.tar.gz"
|
|
mkdir doxygen && travis_retry wget --quiet -O - ${DOXYGEN_URL} | tar --strip-components=1 -xz -C doxygen
|
|
export PATH=${DEPS_DIR}/doxygen/bin:${PATH}
|
|
doxygen --version
|
|
fi
|
|
|
|
script:
|
|
- cd doc
|
|
- doxygen --version
|
|
- doxygen Doxyfile
|
|
|
|
deploy:
|
|
provider: pages
|
|
skip_cleanup: true
|
|
local_dir: doc/html
|
|
github_token: $GH_REPO_TOKEN
|
|
on:
|
|
branch: master
|