From d47fde1a3d1ff1d1ffe0bfd63fe4a201e12c465b Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpvdoorn@gmail.com>
Date: Wed, 25 Sep 2024 17:10:23 +0200
Subject: [PATCH] update update-mathlib script

---
 scripts/update_mathlib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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