fix: remove obsolete docs directory handling for cslib in release_steps.py The cslib repository no longer has a docs subdirectory, so the release script was failing when trying to update lakefile.toml and lean-toolchain in that nonexistent directory.
This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.