diff --git a/tools/update_dev_dir.sh b/tools/update_dev_dir.sh new file mode 100755 index 0000000000..c55851d6cd --- /dev/null +++ b/tools/update_dev_dir.sh @@ -0,0 +1,29 @@ +#!/bin/sh + +# Used to update http://openlayers.org/dev/ + +svn up /www/openlayers/docs/dev; + +# Get current Revision +REV=`svn info /www/openlayers/docs/dev/ | grep Revision | awk '{print $2}'` + +# Get the last svn rev +touch /tmp/ol_svn_rev +OLD_REV="o`cat /tmp/ol_svn_rev`" + +# If they're not equal, do some work. +if [ ! o$REV = $OLD_REV ]; then + + cd /www/openlayers/docs/dev/tools/ + python exampleparser.py + cd /www/openlayers/docs/dev/build + ./build.py + + cp OpenLayers.js .. + cd .. + + sed -i -e 's!../lib/OpenLayers.js!../OpenLayers.js!' examples/*.html + + # Record the revision + echo -n $REV > /tmp/ol_svn_rev +fi