Enhance deploy_docs.yml with manual trigger and input

Added workflow_dispatch event to allow manual triggering and language input for documentation deployment.

Author: saudsami

.github/workflows/deploy_docs.yml

@@ -9,6 +9,12 @@ on:
     branches: [main]
   push:
     branches: [main]
+  workflow_dispatch:
+    inputs:
+      language:
+        description: 'Language to publish (en or cn)'
+        required: false
+        default: 'en'
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
@@ -88,8 +94,12 @@ jobs:
           tag: ${{ github.ref_name }}
   publish:
     name: Publish Documentation Site 🛜
-    if: github.event.release.prerelease == false && github.event.release.draft == false && github.event.release.tag_name == github.event.repository.default_branch
-    runs-on: macos-13
+    if: |
+      (github.event_name == 'release' && 
+       github.event.release.prerelease == false && 
+       github.event.release.draft == false) ||
+      github.event_name == 'workflow_dispatch'
+    runs-on: macos-15-intel
     needs: generate-docc
     strategy:
       matrix: