Fix deployment conditional logic preventing manual documentation deployment

- Update deploy job condition to allow workflow_dispatch events (manual triggers)
- Previous condition only allowed pushes to main/master, blocking manual deployment
- Now supports: push to main/master OR manual workflow_dispatch from any branch
- Resolves 404 errors when manually deploying documentation from develop branch
- Deployment step was being skipped, causing build success but no actual deployment

🚀 Generated with [Claude Code](https://claude.ai/code)

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

Author: dmealing

.github/workflows/deploy-docs.yml

@@ -84,9 +84,9 @@ jobs:
         with:
           path: docs/src/site/documentation/site
 
-  # Deploy job - only on main/master branch pushes
+  # Deploy job - on main/master pushes OR manual workflow dispatch
   deploy:
-    if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')
+    if: (github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')) || github.event_name == 'workflow_dispatch'
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}