IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix a typo

Browse Source
This commit is contained in:
Dave Page 2017-03-30 17:19:22 -04:00
parent 4b1781124a
commit 256f42c64b
3 changed files with 3 additions and 3 deletions

2
ci/build_docs.sh
View File

@ -8,7 +8,7 @@ echo
. $WORKSPACE/pgadmin-venv/bin/activate
SPHINX_VER=""
if [ "$PYTHON_VERSION" = "2.6" -o ""$PYTHON_VERSION" = "3.3" ]; then
if [ "$PYTHON_VERSION" = "2.6" -o "$PYTHON_VERSION" = "3.3" ]; then
SPHINX_VER="==1.4.9"
fi

2
ci/build_pip_wheel.sh
View File

@ -8,7 +8,7 @@ echo
. $WORKSPACE/pgadmin-venv/bin/activate
SPHINX_VER=""
if [ "$PYTHON_VERSION" = "2.6" -o ""$PYTHON_VERSION" = "3.3" ]; then
if [ "$PYTHON_VERSION" = "2.6" -o "$PYTHON_VERSION" = "3.3" ]; then
SPHINX_VER="==1.4.9"
fi

2
ci/build_tarballs.sh
View File

@ -8,7 +8,7 @@ echo
. $WORKSPACE/pgadmin-venv/bin/activate
SPHINX_VER=""
if [ "$PYTHON_VERSION" = "2.6" -o ""$PYTHON_VERSION" = "3.3" ]; then
if [ "$PYTHON_VERSION" = "2.6" -o "$PYTHON_VERSION" = "3.3" ]; then
SPHINX_VER="==1.4.9"
fi