- main build.py will optionally build mobile. removed now obsolete mobile build scripts and symbolic links
- external resource URL is now optional - it's no longer needed by the regular builds
most files already existed (and were used from) elsewhere. delaunay.js has been moved to external/, and max-links updated to include from there
build.py updated to take account of no 'dist' folder (although it does allow for one if it's needed again in the future)
- add optional localbuildsettings.py
- remove the 'jonatkins' and 'jonatkins-dev' from buildsettings.py - some devs were using them and it'll give them unexpected update behaviour
- add a 'local' build - uses the public release for external resources (rather than a local web server as for local8000), but no distUrlBase. perfect for code-only changes
- distUrlBase can now be None - no more wacky invalid URLs
(the resourceUrlBase will become redundant once all resources are embedded, but that's still pending)
- plugins are now parsed for @@..@@ replacements
- main script and plugins have separate .meta.js files created - less web server load for update checks
- build script has variables for resource URL, update URL, etc, substituted via @@..@@ into main script and all plugins
loading dependencies just got a lot harder. External JS and CSS files
are now included directly in the file while building. This does not yet
work for plugins. I will make an emergency release soon, so at least
main works.
