One fewer use of rsync.
This commit is contained in:
@@ -81,10 +81,8 @@ if [ ! o$REMOTE_HEAD = o$OLD_REMOTE_HEAD ]; then
|
|||||||
git clean -f
|
git clean -f
|
||||||
git pull origin master
|
git pull origin master
|
||||||
|
|
||||||
mkdir -p /tmp/ol/docs/build/html /tmp/ol/docs/build/doctrees
|
mkdir -p /osgeo/openlayers/sites/docs.openlayers.org /tmp/ol/docs/build/doctrees
|
||||||
sphinx-build -b html -d /tmp/ol/docs/build/doctrees . /tmp/ol/docs/build/html
|
sphinx-build -b html -d /tmp/ol/docs/build/doctrees . /osgeo/openlayers/sites/docs.openlayers.org
|
||||||
|
|
||||||
rsync -r --delete /tmp/ol/docs/build/html/ /osgeo/openlayers/sites/docs.openlayers.org
|
|
||||||
|
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user