change docgen.sh to ignore failed doc build

opencompl · Nov 14, 2023 · ef8e95e · ef8e95e
1 parent a5dcb87
commit ef8e95e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docgen.sh b/docgen.sh
@@ -2,4 +2,4 @@ set -o xtrace
 set -e
 lake -Kenv=dev update
 lake exe cache get # load mathlib from cache
-lake -Kenv=dev build SSA:docs # Alive depends on SSA.
+lake -Kenv=dev build SSA:docs || true # Alive depends on SSA.