diff --git a/.gitignore b/.gitignore index 8b631e7..2d358ff 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,5 @@ elm-stuff # elm-repl generated files repl-temp-* +# elm-live && build generated file +explorer/main.js diff --git a/build-doc.sh b/build-doc.sh new file mode 100644 index 0000000..59abdcc --- /dev/null +++ b/build-doc.sh @@ -0,0 +1,3 @@ +(cd explorer && elm make src/Main.elm --optimize --output main.js) && + cp explorer/main.js docs/ && + cp explorer/main.js docs/3.0.0 diff --git a/docs/3.0.0/index.html b/docs/3.0.0/index.html index 3697151..6a4dc17 100644 --- a/docs/3.0.0/index.html +++ b/docs/3.0.0/index.html @@ -1,50 +1,20 @@ -
- -