update push script

This commit is contained in:
Simon Gardling
2022-02-14 13:59:28 -05:00
parent a63c2369a0
commit 0305bfa3e6

View File

@@ -4,7 +4,7 @@ set -e #kill script if error occurs
wasm-pack build --target web --release wasm-pack build --target web --release
rm -fr tmp | true #delete tmp folder if exists rm -fr tmp | true #delete tmp folder if exists
mkdir tmp tmp/pkg tmp/www mkdir tmp tmp/pkg
cp -r pkg/integral_site_bg.wasm pkg/integral_site_bg.wasm.d.ts pkg/integral_site.d.ts pkg/integral_site.js tmp/pkg/ cp -r pkg/integral_site_bg.wasm pkg/integral_site_bg.wasm.d.ts pkg/integral_site.d.ts pkg/integral_site.js tmp/pkg/
cp www/bootstrap.js www/index.html www/index.js www/style.css tmp/ cp www/bootstrap.js www/index.html www/index.js www/style.css tmp/
# mv tmp/www/index.html tmp/ # mv tmp/www/index.html tmp/