Update update_docs.yml

Author: Chivier

.github/workflows/update_docs.yml

@@ -57,14 +57,14 @@ jobs:
           sh build_html.sh
       - name: Deploy to pages branch
         run: |
-          # Create and switch to a new worktree for the pages branch
-          git worktree add --detach pages
-          cd pages
+          # Create and switch to a new worktree for the openmlsys-book-en branch
+          git worktree add --detach openmlsys-book-en
+          cd openmlsys-book-en
           
-          # Delete pages branch if it exists and create a new orphan branch
-          git fetch origin pages || true
-          git branch -D pages || true
-          git checkout --orphan pages
+          # Delete openmlsys-book-en branch if it exists and create a new orphan branch
+          git fetch origin openmlsys-book-en || true
+          git branch -D openmlsys-book-en || true
+          git checkout --orphan openmlsys-book-en
           git rm -rf . || true
           
           # Copy built documentation
@@ -83,12 +83,12 @@ jobs:
           Run ID: ${{ github.run_id }}
           Triggered by: ${{ github.event_name }}"
           
-          # Force push to pages branch
-          git push -f origin pages
+          # Force push to openmlsys-book-en branch
+          git push -f origin openmlsys-book-en
           
           # Clean up the worktree
           cd ..
-          git worktree remove pages
+          git worktree remove openmlsys-book-en
 
       - name: Clean up
         if: always()