blob: 56fb20ab3b8cfe8444ed217f5876a958fa8de610 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/usr/bin/env bash
#
# This script assumes a linux environment
set -e
DES=$1
bash ./tools/make-assets.sh $DES
cp -R src/css $DES/
cp -R src/img $DES/
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/
cp -R src/lib $DES/
cp -R src/web_accessible_resources $DES/
cp -R src/_locales $DES/
cp src/*.html $DES/
cp platform/common/*.js $DES/js/
cp platform/common/*.json $DES/
cp LICENSE.txt $DES/
|
