OpenLayers

From ResourceSpace Documentation Wiki

Use

The OpenLayers library is used for the map functions (e.g. in the Geographic Search page).

Updating

1. Downloaded the library (as a tar.gz or zip file) from http://www.openlayers.org/
2. Unpack it in a temporary folder.
3. Open the file build/full.cfg in a text editor.
   Remove the line:

   OpenLayers/Lang

   under the section [exclude] and save the changes.
4. Run this command from the build folder:

   python build.py full.cfg

5. Copy the resulting file OpenLayers.js to the directory lib/OpenLayers.
6. Test the new library and commit the update when you have made sure that it's working.