From 2dcd0f4d2ba4613d9f9372caeb3d65034e3ee09c Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Sun, 1 May 2022 20:57:18 -0400
Subject: [PATCH] Generate builtin docs in Earthfile

---
 Earthfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Earthfile b/Earthfile
index 5114347083..2d614d5bef 100644
--- a/Earthfile
+++ b/Earthfile
@@ -100,6 +100,9 @@ test-rust:
     # RUN echo "4" | cargo run --locked --release --features="target-x86" -- --target=x86_32 examples/benchmarks/NQueens.roc
     # RUN --mount=type=cache,target=$SCCACHE_DIR \
     #    cargo test --locked --release --features with_sound --test cli_run i386 --features="i386-cli-run" && sccache --show-stats
+    # make sure doc generation works (that is, make sure build.sh returns status code 0)
+    RUN bash www/build.sh
+
 
 verify-no-git-changes:
     FROM +test-rust