pgadmin4/ci/build_docs.sh

#!/bin/sh

echo "EXECUTING: Build docs"
echo

cd $WORKSPACE

. $WORKSPACE/pgadmin-venv/bin/activate

SPHINX_VER=""
if [ "$PYTHON_VERSION" = "2.6" -o "$PYTHON_VERSION" = "3.3" ]; then
    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; }

make docs || { echo 'ERROR: Failed to build the documentation.' ; exit 1; }
Add basic CI runner scripts for Jenkins 2017-03-30 20:34:24 +00:00			`#!/bin/sh`

Update CI script output for parsing with the Log Parser plugin in Jenkins 2017-03-31 16:45:56 +00:00			`echo "EXECUTING: Build docs"`
Add basic CI runner scripts for Jenkins 2017-03-30 20:34:24 +00:00			`echo`

Make sure each build/test starts in the correct directory. 2017-03-31 16:17:34 +00:00			`cd $WORKSPACE`

Add basic CI runner scripts for Jenkins 2017-03-30 20:34:24 +00:00			`. $WORKSPACE/pgadmin-venv/bin/activate`
Select the correct Sphinx version 2017-03-30 21:11:08 +00:00
			`SPHINX_VER=""`
Fix a typo 2017-03-30 21:19:22 +00:00			`if [ "$PYTHON_VERSION" = "2.6" -o "$PYTHON_VERSION" = "3.3" ]; then`
Select the correct Sphinx version 2017-03-30 21:11:08 +00:00			`SPHINX_VER="==1.4.9"`
			`fi`

Attempt to better catch errors in the CI tests. 2017-04-07 14:14:56 +00:00			`$WORKSPACE/pgadmin-venv/bin/pip install Sphinx$SPHINX_VER \|\| { echo 'ERROR: Failed to install Sphinx to build the docs.' ; exit 1; }`
Select the correct Sphinx version 2017-03-30 21:11:08 +00:00
Attempt to better catch errors in the CI tests. 2017-04-07 14:14:56 +00:00			`make docs \|\| { echo 'ERROR: Failed to build the documentation.' ; exit 1; }`