only clone docs from gh-pages branch if they aren't there

Allow the caller of this script to decide which commit
from the gh-pages branch should be used to build the docs.
This also avoid excessive repeated git clones during development.

Change-Id: I3e58eef0ac03b15903c06d5632c0eb41413db02c
This commit is contained in:
Adam Spiers 2013-10-24 17:40:13 +01:00
parent 897f48a897
commit 4b2c5ed209

View File

@ -91,8 +91,9 @@ fi
# Assumption is we are now in the DevStack repo workspace to be processed
# Pull the latest docs branch from devstack.org repo
rm -rf docs || true
git clone -b gh-pages $GH_PAGES_REPO docs
if ! [ -d docs ]; then
git clone -b gh-pages $GH_PAGES_REPO docs
fi
# Build list of scripts to process
FILES=""