@@ -439,33 +439,28 @@ jobs:
439439 branch="${{ needs.stage-and-check.outputs.branch_name }}"
440440 additional="${{ needs.stage-and-check.outputs.additional_deployment }}"
441441
442- changed=0
443-
444- # Deploy to primary branch folder
445- echo "Deploying to server/${branch}/"
446- if [ -d "stage/${branch}" ]; then
447- rm -rf "server/${branch}"
448- mkdir -p "server/${branch}"
449- cp -r "stage/${branch}/"* "server/${branch}/" || true
450- changed=1
451- fi
442+ # Copy built documentation into server folder
443+ mkdir -p server/${branch}
444+ for artifact in stage/${branch}/*; do
445+ if [ -d "$artifact" ]; then
446+ manual_name="$(basename "$artifact")"
447+ rm -rf "server/${branch}/${manual_name}"
448+ cp -r "$artifact" "server/${branch}/${manual_name}"
449+ fi
450+ done
451+
452+ # Move pdf files to the root of the branch folder
453+ mv server/${branch}/*/*.pdf server/${branch}/ 2>/dev/null || true
452454
453455 # If this is the highest stable branch, also deploy to its versioned folder
454456 if [ -n "${additional}" ]; then
455- echo "Also deploying to server/${additional}/ (additional versioned deployment)"
456- rm -rf "server/${additional}"
457- mkdir -p "server/${additional}"
458- cp -r "stage/${branch}/"* "server/${additional}/" || true
459- changed=1
457+ rm -rf server/${additional}
458+ cp -r server/${branch} server/${additional}
460459 fi
461460
462- # Clean up empty directories
461+ # Cleanup empty directories
463462 find . -type d -empty -delete
464463
465- # Log the final directory structure for debugging
466- echo "Final server/ structure:"
467- find server -type d -maxdepth 2
468-
469464 # Check if there are actual changes
470465 if git diff --quiet HEAD; then
471466 echo "has_changes=false" >> $GITHUB_OUTPUT
@@ -477,6 +472,33 @@ jobs:
477472 - name : Clean up staging cache before commit
478473 run : rm -rf stage/
479474
475+ # ========================================================================
476+ # ADD REDIRECT FILES
477+ # ========================================================================
478+ - name : Add various redirects for go.php and user_manual english version
479+ run : |
480+ branch="${{ needs.stage-and-check.outputs.branch_name }}"
481+ additional="${{ needs.stage-and-check.outputs.additional_deployment }}"
482+
483+ git fetch origin ${{ github.event.repository.default_branch }} ${{ github.ref_name }}
484+
485+ # Add go.php redirect from main branch
486+ git checkout origin/${{ github.event.repository.default_branch }} -- go.php/index.html
487+ mkdir -p server/${branch}/go.php
488+ mv go.php/index.html server/${branch}/go.php/index.html
489+
490+ # Add user_manual english redirect
491+ git checkout origin/${{ github.ref_name }} -- user_manual/index.html
492+ mkdir -p server/${branch}/user_manual
493+ mv user_manual/index.html server/${branch}/user_manual/index.html
494+
495+ # Also copy to versioned folder if applicable
496+ if [ -n "${additional}" ]; then
497+ mkdir -p server/${additional}/go.php server/${additional}/user_manual
498+ cp server/${branch}/go.php/index.html server/${additional}/go.php/
499+ cp server/${branch}/user_manual/index.html server/${additional}/user_manual/
500+ fi
501+
480502 - name : Create Pull Request for documentation deployment
481503 uses : peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
482504 id : cpr
0 commit comments