mirror of
https://github.com/Orasund/elm-ui-widgets.git
synced 2024-07-07 10:46:20 +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
|