Fix docs deployment for tag pushes using workflow_dispatch

GitHub Pages only accepts deployments from the master branch context.
When a tag push triggered the docs workflow, the deployment would
silently fail to update the live site.

This change:
- Removes the tag trigger from docs.yaml
- Adds docs-trigger.yaml that triggers the docs workflow via
  workflow_dispatch API when a tag is pushed
- This ensures the docs workflow always runs in master context
  while still being triggered by tag releases

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: laughingman7743

.github/workflows/docs-trigger.yaml

@@ -0,0 +1,22 @@
+name: Trigger Docs on Tag
+
+on:
+  push:
+    tags: ['v*']
+
+permissions:
+  actions: write
+
+jobs:
+  trigger-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/github-script@v7
+        with:
+          script: |
+            await github.rest.actions.createWorkflowDispatch({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              workflow_id: 'docs.yaml',
+              ref: 'master'
+            })

.github/workflows/docs.yaml

@@ -4,7 +4,6 @@ on:
   workflow_dispatch:
   push:
     branches: ['master']
-    tags: ['v*']
 
 permissions:
   contents: read