diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
index ef768d93..b353d7f8 100644
--- 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