mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Select the correct Sphinx version
This commit is contained in:
parent
0a381c4a53
commit
8941756a9d
@ -6,6 +6,13 @@ echo "##########################################################################
|
||||
echo
|
||||
|
||||
. $WORKSPACE/pgadmin-venv/bin/activate
|
||||
$WORKSPACE/pgadmin-venv/bin/pip install Sphinx==1.4.9
|
||||
|
||||
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
|
||||
|
||||
cd $WORKSPACE/
|
||||
make docs
|
||||
|
@ -6,6 +6,13 @@ echo "##########################################################################
|
||||
echo
|
||||
|
||||
. $WORKSPACE/pgadmin-venv/bin/activate
|
||||
$WORKSPACE/pgadmin-venv/bin/pip install Sphinx==1.4.9
|
||||
|
||||
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
|
||||
|
||||
cd $WORKSPACE/
|
||||
make pip
|
@ -6,6 +6,12 @@ echo "##########################################################################
|
||||
echo
|
||||
|
||||
. $WORKSPACE/pgadmin-venv/bin/activate
|
||||
$WORKSPACE/pgadmin-venv/bin/pip install Sphinx==1.4.9
|
||||
|
||||
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
|
||||
cd $WORKSPACE/
|
||||
make src
|
Loading…
Reference in New Issue
Block a user