diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 451822366f3f2..5954d7edc42e8 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -12,9 +12,17 @@ # --- name: "Build Documentation" + on: - pull_request: push: + branches: + - master + paths: + - 'Documentation/**' + + pull_request: + paths: + - 'Documentation/**' concurrency: group: docs-${{ github.event.pull_request.number || github.ref }} @@ -31,19 +39,12 @@ jobs: - uses: actions/setup-python@v5 with: python-version: '3.8' - - name: Install LaTeX packages - run: | - sudo apt-get update -y - sudo apt-get install -y \ - texlive-latex-recommended texlive-fonts-recommended \ - texlive-latex-base texlive-latex-extra latexmk texlive-luatex \ - fonts-freefont-otf xindy - name: Generate Documentation run: | cd Documentation/ pip3 install pipenv pipenv install - pipenv run make html latexpdf + pipenv run make html - uses: actions/upload-artifact@v4 with: name: sphinx-docs