| File | What it does |
|---|---|
| build.py | writes the two GeoJSON files and runs export_web |
| index.html | the page; ?data=osm switches to the OSM block, ?lang=en to English |
Build and serve it from the repository root:
python examples/web/build.py
python -m http.server 8765 --directory examples/web
Then open http://localhost:8765.