Add new build option `npm run build:web:dev:dist` that creates development
configuration build in dist folder without starting HMR server. This enables
testing development settings in static environments and CI/CD pipelines.
Use cases:
- Test development configuration without dev server overhead
- Deploy development builds to static hosting services
- CI/CD pipelines requiring development environment variables
- Performance testing with development settings
- Debugging production-like builds with source maps enabled
Changes:
- Add --build-dev-to-dist flag to build-web.sh script
- Create npm script build:web:dev:dist for easy access
- Update documentation with new workflow and examples
- Maintain development environment variables and source maps
- Include PWA support for testing in static builds
ff3901c796