Changeset 7122

Timestamp:

05/08/08 23:35:43 (3 months ago)

Author:

crschmidt

Message:

add smarter tool for updating the dev dir on OL.org in a better way. Specifically:

• Check whether the reision has changed
  
• if it has:
  
  • rebuild the examples.js
    
  • Rebuild the singlefile, copy it
    
  • Change all the examples to use the singlefile
    
  • Record the most recent rev
    

Files:

• trunk/openlayers/tools/update_dev_dir.sh (added)