From 99d7a25d63b0a55136570919bd590b80571b91de Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 24 Nov 2019 14:35:31 +0100 Subject: update GitHub action for docs deployment --- .github/workflows/docs.yaml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to '.github') diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 3c71463e..3f5097a1 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -17,13 +17,14 @@ jobs: run: | pip install Sphinx cd doc - make html - touch _build/html/.nojekyll - echo -e 'pygments.org\nwww.pygments.org' > _build/html/CNAME - echo 'Automated deployment of docs for GitHub pages.' > _build/html/README + WEBSITE_BUILD=1 make dirhtml + cp -a ../external/pyodide _build/dirhtml/_static + touch _build/dirhtml/.nojekyll + echo -e 'pygments.org\nwww.pygments.org' > _build/dirhtml/CNAME + echo 'Automated deployment of docs for GitHub pages.' > _build/dirhtml/README - uses: peaceiris/actions-gh-pages@v2.5.0 env: ACTIONS_DEPLOY_KEY: ${{ secrets.ACTIONS_DEPLOY_KEY }} EXTERNAL_REPOSITORY: pygments/pygments.github.io PUBLISH_BRANCH: master - PUBLISH_DIR: ./doc/_build/html + PUBLISH_DIR: ./doc/_build/dirhtml -- cgit v1.2.1