mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-11-28 03:23:52 -06:00
18 lines
281 B
Bash
Executable File
18 lines
281 B
Bash
Executable File
#!/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
|
|
|
|
make docs
|