2019-07-03 07:52:03 -06:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
#
|
|
|
|
# This script assumes a linux environment
|
|
|
|
|
|
|
|
DES=$1
|
|
|
|
|
|
|
|
bash ./tools/make-assets.sh $DES
|
|
|
|
|
|
|
|
cp -R src/css $DES/
|
|
|
|
cp -R src/img $DES/
|
2021-07-25 08:55:35 -06:00
|
|
|
mkdir $DES/js
|
|
|
|
cp -R src/js/*.js $DES/js/
|
|
|
|
cp -R src/js/codemirror $DES/js/
|
|
|
|
cp -R src/js/scriptlets $DES/js/
|
|
|
|
cp -R src/js/wasm $DES/js/
|
2019-07-03 07:52:03 -06:00
|
|
|
cp -R src/lib $DES/
|
|
|
|
cp -R src/web_accessible_resources $DES/
|
|
|
|
cp -R src/_locales $DES/
|
|
|
|
|
|
|
|
cp src/*.html $DES/
|
2021-07-16 08:06:58 -06:00
|
|
|
cp platform/common/*.js $DES/js/
|
|
|
|
cp platform/common/*.json $DES/
|
2019-07-03 07:52:03 -06:00
|
|
|
cp LICENSE.txt $DES/
|