2323 directory : " user_manual"
2424 make_target : " html"
2525 build_path : " _build/html"
26- build_pdf_path : " _build/pdf "
26+ build_pdf_path : " _build/latex "
2727 publish : true
2828
2929 - name : " user_manual-en"
4242 directory : " admin_manual"
4343 make_target : " html"
4444 build_path : " _build/html/com"
45- build_pdf_path : " _build/pdf "
45+ build_pdf_path : " _build/latex "
4646 publish : true
4747
4848 steps :
7474 run : |
7575 set -e
7676 cd ${{ matrix.manual.directory }}
77- make pdf
77+ make latexpdf
7878 ls -la ${{ matrix.manual.build_pdf_path }}
7979 cp ${{ matrix.manual.build_pdf_path }}/*.pdf ${{ matrix.manual.build_path }}/
8080
@@ -144,7 +144,10 @@ jobs:
144144 ;;
145145 esac
146146
147- - name : Merge documentation
147+ echo "Deployment folder name: ${{ steps.branch.outputs.branch_name }}"
148+ echo "Version name for additional deployment (if applicable): ${{ steps.branch.outputs.version_name }}"
149+
150+ - name : Merge ${{ steps.branch.outputs.branch_name }} documentation artifacts into gh-pages
148151 run : |
149152 # List artifacts
150153 ls -la artifacts/*/
@@ -176,7 +179,7 @@ jobs:
176179 find . -type d -empty -delete
177180 rm -rf artifacts
178181
179- - name : Add various redirects
182+ - name : Add various redirects for go.php and user_manual english version
180183 run : |
181184 # Fetch source branches so git checkout origin/... works from the gh-pages checkout
182185 git fetch origin ${{ github.event.repository.default_branch }} ${{ github.ref_name }}
@@ -191,7 +194,7 @@ jobs:
191194 mkdir -p server/${{ steps.branch.outputs.branch_name }}/user_manual
192195 mv user_manual/index.html server/${{ steps.branch.outputs.branch_name }}/user_manual/index.html
193196
194- - name : Commit and push to gh-pages
197+ - name : Commit ${{ steps.branch.outputs.branch_name }} documentation and push to gh-pages
195198 run : |
196199 git config --local user.email "action@github.com"
197200 git config --local user.name "GitHub Action"
0 commit comments