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
38
39
40
41
|
#!/bin/bash
# Licensed under the Apache License, Version 2.0 (the "License"); you may
# not use this file except in compliance with the License. You may obtain
# a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations
# under the License.
# Build PDF documentation
set -e
set -x
DIRECTORY=doc
# Sphinx will warnings treated as an error
SPHINX_BUILD_OPTION='-W'
# Initial env vars
SKIP_SPHINX_WARNINGS=${SKIP_SPHINX_WARNINGS:-0}
SKIP_LATEX_ERRORS=${SKIP_LATEX_ERRORS:-0}
# Skip -W option for english and translation builds
if [ ${SKIP_SPHINX_WARNINGS} -lt 1 ]; then
SPHINX_BUILD_OPTION=''
fi
# build document
sphinx-build -a ${SPHINX_BUILD_OPTION} -b latex \
-d ${DIRECTORY}/build/doctrees \
${DIRECTORY}/source ${DIRECTORY}/build/pdf
# build PDF
[ ${SKIP_LATEX_ERRORS} -gt 0 ] && set +e
timeout 180 make -C doc/build/pdf
|
