2017-03-30 15:34:24 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2017-03-31 11:45:56 -05:00
|
|
|
echo "EXECUTING: Build docs"
|
2017-03-30 15:34:24 -05:00
|
|
|
echo
|
|
|
|
|
|
2018-06-25 11:00:21 -05:00
|
|
|
cd ${WORKSPACE}
|
2017-03-31 11:17:34 -05:00
|
|
|
|
2018-06-25 11:00:21 -05:00
|
|
|
. ${WORKSPACE}/pgadmin-venv/bin/activate
|
2017-03-30 16:11:08 -05:00
|
|
|
|
|
|
|
|
SPHINX_VER=""
|
2018-06-25 11:00:21 -05:00
|
|
|
if [ "${PYTHON_VERSION}" = "2.6" -o "${PYTHON_VERSION}" = "3.3" ]; then
|
2017-03-30 16:11:08 -05:00
|
|
|
SPHINX_VER="==1.4.9"
|
|
|
|
|
fi
|
|
|
|
|
|
2018-06-25 11:00:21 -05:00
|
|
|
${WORKSPACE}/pgadmin-venv/bin/pip install Sphinx${SPHINX_VER} || { echo 'ERROR: Failed to install Sphinx to build the docs.' ; exit 1; }
|
2017-03-30 16:11:08 -05:00
|
|
|
|
2017-04-07 09:14:56 -05:00
|
|
|
make docs || { echo 'ERROR: Failed to build the documentation.' ; exit 1; }
|
