Create update_mathlib.sh

Author: pitmonticone

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