Files
pgadmin4/ci/build_docs.sh
T

17 lines
434 B
Bash
Raw Normal View History

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