diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..c2c299d --- /dev/null +++ b/build.sh @@ -0,0 +1,8 @@ +#!/bin/bash -eu + +elm make --optimize --output=js/miu-demo.js src/Miu.elm + +{ cat js/jquery.js js/jquery.markitup.js js/custom-element-markitup.js js/miu-demo.js ; echo 'Elm.Miu.init({node: document.getElementById("elm")});'; } | google-closure-compiler -W QUIET > out.js + +sh <(awk -f qq.awk miu-demo.qq.html | sed '1s/%%%/"%%%"/') > index.html + diff --git a/miu-demo.html b/miu-demo.html deleted file mode 100644 index 91f901d..0000000 --- a/miu-demo.html +++ /dev/null @@ -1,18 +0,0 @@ - -
-