diff options
author | Georg Brandl <georg@python.org> | 2019-11-24 14:35:31 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2019-11-24 14:35:31 +0100 |
commit | 99d7a25d63b0a55136570919bd590b80571b91de (patch) | |
tree | 120c7c8591a54b685ab07f5e1b51a540bd99c007 /.github | |
parent | 08481806d2f3be0282780d1b83393b407b459089 (diff) | |
download | pygments-git-99d7a25d63b0a55136570919bd590b80571b91de.tar.gz |
update GitHub action for docs deployment
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yaml | 11 |
1 files changed, 6 insertions, 5 deletions
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 |