update update-mathlib script

fpvandoorn · Sep 25, 2024 · d47fde1 · d47fde1
1 parent 5b9797e
commit d47fde1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
@@ -1,4 +1,4 @@
 # Update mathlib and the lean toolchain.
 curl -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/lean-toolchain -o lean-toolchain
-lake -Kenv=dev update # The `-Kenv=dev` is making sure we also update doc-gen
+lake -R -Kenv=dev update # The `-R -Kenv=dev` is making sure we also update doc-gen and other dependencies
 lake exe cache get