7 wget http://openlayers.org/download/OpenLayers-$version.tar.gz
11 tar -xzf OpenLayers-$version.tar.gz
13 # Create a custom OpenLayers file
15 (cd OpenLayers-$version/build && python build.py ../../routino.cfg && cp OpenLayers.js ..)
19 cp -p OpenLayers-$version/OpenLayers.js .
20 cp -pr OpenLayers-$version/img .
21 cp -pr OpenLayers-$version/theme .
23 # Delete the remainder
25 rm -rf OpenLayers-$version