Update build_docs.sh

ImperialCollegeLondon · Feb 27, 2025 · 5517623 · 5517623
1 parent 0a4001b
commit 5517623
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/build_docs.sh b/scripts/build_docs.sh
@@ -40,6 +40,7 @@ cd docbuild
 
 # Disable an error message due to a non-blocking bug. See Zulip
 MATHLIB_NO_CACHE_ON_UPDATE=1 ~/.elan/bin/lake update FLT
+~/.elan/bin/lake exe cache get
 
 # Build the docs
 ~/.elan/bin/lake build FLT:docs