diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
new file mode 100755
index 00000000..727d4941
--- /dev/null
+++ b/scripts/update_mathlib.sh
@@ -0,0 +1,8 @@
+# Update Mathlib and the Lean toolchain.
+
+# Download the latest lean-toolchain file from the Mathlib4 repository
+curl -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/lean-toolchain -o lean-toolchain
+
+# Update the Mathlib dependencies and ensure doc-gen is also updated
+# The `-R -Kenv=dev` flag ensures that the development environment is updated, including doc-gen
+lake -R -Kenv=dev update