File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 9090set -euo pipefail
9191
9292DEST_SLUG=biopython/docs
93- DEST_DIR =$( python -c " import Bio; v=Bio.__version__; print('dev' if 'dev' in v else v)" )
93+ VER =$( python -c " import Bio; v=Bio.__version__; print('dev' if 'dev' in v else v)" )
9494SOURCE_DIR=${BUILD_DIR:- $PWD } /Doc/_build/html
9595WORKING_DIR=/tmp/deploy_biopython_docs
9696COMMIT_HASH=$( git rev-parse HEAD) # For later when we commit the docs repository
@@ -101,7 +101,7 @@ if [ -z "$DEST_DIR" ]; then
101101 false
102102fi
103103
104- DEST_DIR=$DEST_DIR /
104+ DEST_DIR=$VER /
105105echo " Aiming to deploy $SOURCE_DIR to $DEST_SLUG branch gh-pages as $DEST_DIR "
106106
107107# We have to create the SSH key with spaces and new lines, so
@@ -145,7 +145,7 @@ echo "Copying files"
145145cp -R $SOURCE_DIR /* $DEST_DIR /
146146echo " Staging files in git"
147147git add $DEST_DIR /
148- if [[ " dev" != " $DEST_DIR " ]]; then
148+ if [[ " dev" != " $VER " ]]; then
149149 echo " Updating version"
150150 rm -rf latest
151151 ln -s " $DEST_DIR " latest
You can’t perform that action at this time.
0 commit comments