mirror of
https://github.com/Orasund/elm-ui-widgets.git
synced 2024-07-14 17:50:31 +03:00
4 lines
134 B
Bash
4 lines
134 B
Bash
|
(cd explorer && elm make src/Main.elm --optimize --output main.js) &&
|
||
|
|
cp explorer/main.js docs/ &&
|
||
|
|
cp explorer/main.js docs/3.0.0
|