Update file to docs

2019-08-20 11:03:49 +08:00
parent 82fe179b7f
commit e74dcfd54d
7 changed files with 10 additions and 7 deletions
--- a/build.sh
+++ b/build.sh
@@ -1,8 +1,11 @@
+dist=docs
 webdev build
-rm -rf dist
-mkdir dist
-cp build/*.ico dist
-cp build/*.jpg dist
-cp build/*.html dist
-cp build/*.js dist
-cp build/*.css dist
+rm -rf $dist
+mkdir $dist
+cp build/*.ico $dist
+cp build/*.jpg $dist
+cp build/*.html $dist
+cp build/*.js $dist
+cp build/*.css $dist
+
+echo "copy path to $dist"
--- a/docs/favicon.ico
+++ b/docs/favicon.ico
--- a/docs/github_logo.jpg
+++ b/docs/github_logo.jpg
--- a/docs/index.html
+++ b/docs/index.html
--- a/docs/index_ch.html
+++ b/docs/index_ch.html
--- a/docs/main.dart.js
+++ b/docs/main.dart.js
--- a/docs/styles.css
+++ b/docs/styles.css