From cb7ee34f21ebc7274bc9d67da8f3d289a64d454c Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Sat, 5 Jun 2021 19:38:07 -0400
Subject: [PATCH] Generate builtins when buiding www site

---
 www/build.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/www/build.sh b/www/build.sh
index ffdae71a9b..ffe80908a6 100755
--- a/www/build.sh
+++ b/www/build.sh
@@ -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