File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 8585 - name : Build html documentation
8686 run : cd ${{ matrix.manual.directory }} && make ${{ matrix.manual.make_target }}
8787
88+ - name : Compute PDF release version
89+ if : ${{ matrix.manual.build_pdf_path }}
90+ id : pdf_version
91+ run : |
92+ branch="${GITHUB_REF#refs/heads/}"
93+ if [[ "$branch" == stable* ]]; then
94+ echo "release=${branch#stable}" >> $GITHUB_OUTPUT
95+ else
96+ echo "release=latest" >> $GITHUB_OUTPUT
97+ fi
98+
8899 - name : Build pdf documentation
89100 if : ${{ matrix.manual.build_pdf_path }}
101+ env :
102+ DOCS_RELEASE : ${{ steps.pdf_version.outputs.release }}
90103 run : |
91104 set -e
92105 cd ${{ matrix.manual.directory }}
Original file line number Diff line number Diff line change 2828# The short X.Y version.
2929version = 'latest'
3030# The full version, including alpha/beta/rc tags.
31- release = version
31+ # Can be overridden via DOCS_RELEASE env var (used for PDF builds to show the actual version number)
32+ release = os .environ .get ('DOCS_RELEASE' , version )
3233
3334# RTD theme options
3435html_theme_options = {
You can’t perform that action at this time.
0 commit comments