From 42e04c0e3f4fa3f677550fa21e521488608a219c Mon Sep 17 00:00:00 2001 From: Andy Grove Date: Fri, 23 Jan 2026 21:05:30 -0700 Subject: [PATCH] fix: remove dead code for 0.8/0.9 docs that broke CI The docs/source/user-guide/0.8 and 0.9 directories were removed in commit 6a2209d2dbc, but build.sh still had `rm` commands trying to delete files from those directories. With `set -e`, these failing commands caused the docs build to exit with code 1. Removed the dead code since versions 0.8 and 0.9 are no longer generated by generate-versions.py. Co-Authored-By: Claude Opus 4.5 --- docs/build.sh | 6 ------ 1 file changed, 6 deletions(-) diff --git a/docs/build.sh b/docs/build.sh index 33d5b80e5f..8a49a9bee3 100755 --- a/docs/build.sh +++ b/docs/build.sh @@ -25,17 +25,11 @@ mkdir temp cp -rf source/* temp/ # Add user guide from published releases -rm -rf comet-0.8 -rm -rf comet-0.9 rm -rf comet-0.10 rm -rf comet-0.11 rm -rf comet-0.12 python3 generate-versions.py -# Remove overview pages (this used to be part of the user guide but is now a top level page) -rm temp/user-guide/0.9/overview.md 2> /dev/null -rm temp/user-guide/0.8/overview.md 2> /dev/null - # Generate dynamic content (configs, compatibility matrices) for latest docs # This runs GenerateDocs against the temp copy, not source files echo "Generating dynamic documentation content..."