diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml index 1b2f2b88d8a..bf2589f28aa 100644 --- a/.github/workflows/build_documentation.yml +++ b/.github/workflows/build_documentation.yml @@ -35,7 +35,6 @@ jobs: filter_mode: nofilter fail_on_error: true vale_flags: "--config=doc/.vale.ini" - docs_build: runs-on: ubuntu-20.04 diff --git a/.github/workflows/full_documentation.yml b/.github/workflows/full_documentation.yml index f15fecf6e22..4ca9c9ab16c 100644 --- a/.github/workflows/full_documentation.yml +++ b/.github/workflows/full_documentation.yml @@ -75,7 +75,7 @@ jobs: - name: Create PDF Documentations run: | testenv\Scripts\Activate.ps1 - sphinx-build -j auto --color -b pdf -a doc/source doc/_build/pdf + .\doc\make.bat pdf - name: Upload HTML documentation artifact uses: actions/upload-artifact@v3 diff --git a/doc/make.bat b/doc/make.bat index 87c28e8e982..5c169485edb 100644 --- a/doc/make.bat +++ b/doc/make.bat @@ -11,6 +11,7 @@ set SOURCEDIR=source set BUILDDIR=_build if "%1" == "" goto help +if "%1" == "pdf" goto pdf %SPHINXBUILD% >NUL 2>NUL if errorlevel 9009 ( @@ -31,5 +32,11 @@ goto end :help %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O% +:pdf +%SPHINXBUILD% -M latex %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O% +cd "%BUILDDIR%\latex" +for %%f in (*.tex) do ( +pdflatex "%%f" --interaction=nonstopmode) + :end popd