Generate builtins when buiding www site

This commit is contained in:
Richard Feldman 2021-06-05 19:38:07 -04:00
parent 15a2402208
commit cb7ee34f21

View file

@ -1,4 +1,12 @@
#!/bin/bash
set -euxo pipefail
rm -rf build/
cp -r public/ build/
pushd ..
echo 'Generating docs...'
cargo run docs compiler/builtins/docs/Bool.roc
mv generated-docs/ www/build/builtins
popd