diff options
-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 |