ci: add manual docs things with selective input (#4258)

Author: JacobCoffee

.github/workflows/docs.yml

@@ -7,6 +7,18 @@ on:
     branches:
       - main
       - v2
+  workflow_dispatch:
+    inputs:
+      version:
+        description: 'Version to build docs for (1, 2, main, or release)'
+        required: true
+        default: 'main'
+        type: choice
+        options:
+          - main
+          - '2'
+          - '1'
+          - release
 
 env:
   UV_LOCKED: 1
@@ -47,6 +59,15 @@ jobs:
         run: uv run python tools/build_docs.py docs-build --version 2
         if: github.event_name == 'push' && github.ref == 'refs/heads/v2'
 
+      - name: Build docs (manual trigger)
+        run: |
+          if [ "${{ inputs.version }}" == "release" ]; then
+            uv run python tools/build_docs.py docs-build
+          else
+            uv run python tools/build_docs.py docs-build --version ${{ inputs.version }}
+          fi
+        if: github.event_name == 'workflow_dispatch'
+
       - name: Deploy
         uses: JamesIves/github-pages-deploy-action@v4
         with: