drawio/scripts/build_static_app.sh

# Build the static part of the draw.io app.
# Following draw.io conventions, build output is placed in the source code tree, and checked into git.
# This makes it impossible to run the script automatically as part of a Nix build, because in Nix, sources are immutable. It is therefore the responsibility of the developer to manually run this script after making changes.

pushd etc/build
ant -f build.xml
popd