1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
set -euo pipefail
# Check if DOCPUSH is set
if ! [[ -z ${DOCPUSH+x} ]]; then
if [[ "$DOCPUSH" == "true" ]]; then
# install documentation building dependencies
pip install sphinx sphinx-gallery sphinx_bootstrap_theme
# create the documentation
cd docs && make html
# create necessary file for the documentation to display properly
# after it is deployed.
touch build/html/.nojekyll
# $1 is the branch name
# $2 is the global variable where we set the script status
if ! [[ $1 = "master" ]]; then
{ echo "Not one of the allowed branches"; exit 0; }
fi
# takes a variable name as an argument and assigns the script outcome to a
# variable with the given name. If it got this far, the script was successful
function set_return() {
# $1 is the variable where we save the script outcome
local __result=$1
local status='success'
eval $__result="'$status'"
}
set_return "$2"
fi
fi
# Workaround for travis failure
set +u
|
