renamed distribution directory

This commit is contained in:
2025-08-29 12:13:10 +02:00
parent 5485517150
commit 378ab4c026
2 changed files with 4 additions and 4 deletions

2
.gitignore vendored
View File

@@ -1,3 +1,3 @@
target/ target/
deploy/ dist/
*.class *.class

View File

@@ -1,8 +1,8 @@
#!/usr/bin/env bash #!/usr/bin/env bash
set -uo pipefail set -uo pipefail
if [[ -d deploy/ ]]; then if [[ -d dist/ ]]; then
rm -r deploy/; rm -r dist/;
fi fi
cp -r target/ deploy/; cp -r target/ dist/;