diff --git a/scripts/local-dist.sh b/scripts/local-dist.sh index 4578ccd6..c2b4b590 100755 --- a/scripts/local-dist.sh +++ b/scripts/local-dist.sh @@ -11,6 +11,7 @@ rm -rf dist-staging/devtools/debugger-protocol mkdir -p dist-staging/devtools/debugger-protocol cp devtools/debugger-protocol/protocol.json dist-staging/devtools/debugger-protocol/ + cp VERSION.txt dist-staging/devtools/debugger-protocol/VERSION.txt # Clean and prepare the version-specific directory