Ensure title changes between pages for bookmarking purposes
[bus.git] / openlayers / tools / update_dev_dir.sh