From c2d56fa0319d07216ead1e7de8a0c4b20c70083c Mon Sep 17 00:00:00 2001
From: Kim Morrison <477956+kim-em@users.noreply.github.com>
Date: Thu, 18 Sep 2025 11:12:00 +1000
Subject: [PATCH] chore: custom steps in release checklist for CSLib (#10433)

---
 script/release_steps.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/script/release_steps.py b/script/release_steps.py
index 8fbdc47418..ffcab7fce8 100755
--- a/script/release_steps.py
+++ b/script/release_steps.py
@@ -378,7 +378,11 @@ def execute_release_steps(repo, version, config):
             print(red("Tests failed, but continuing with PR creation..."))
             print(red(f"Test error: {e}"))
     elif repo_name == "cslib":
+        print(blue("Updating lakefile.toml..."))
         run_command(f'perl -pi -e \'s/"v4\\.[0-9]+(\\.[0-9]+)?(-rc[0-9]+)?"/"' + version + '"/g\' lakefile.*', cwd=repo_path)
+        
+        print(blue("Updating docs/lakefile.toml..."))
+        run_command(f'perl -pi -e \'s/"v4\\.[0-9]+(\\.[0-9]+)?(-rc[0-9]+)?"/"' + version + '"/g\' lakefile.*', cwd=repo_path / "docs")
 
         # Update lean-toolchain in docs
         print(blue("Updating docs/lean-toolchain..."))