3
# Used to update http://openlayers.org/dev/
5
svn up /www/openlayers/docs/dev;
8
REV=`svn info /www/openlayers/docs/dev/ | grep Revision | awk '{print $2}'`
10
# Get the last svn rev
12
OLD_REV="o`cat /tmp/ol_svn_rev`"
14
# If they're not equal, do some work.
15
if [ ! o$REV = $OLD_REV ]; then
17
cd /www/openlayers/docs/dev/tools/
18
python exampleparser.py
19
cd /www/openlayers/docs/dev/build
25
sed -i -e 's!../lib/OpenLayers.js!../OpenLayers.js!' examples/*.html
28
echo -n $REV > /tmp/ol_svn_rev