diff options
author | Georg Brandl <georg@python.org> | 2019-11-24 14:49:02 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2019-11-24 14:49:02 +0100 |
commit | 4a6f8b4bc9f9532706a07c899094e30edb093062 (patch) | |
tree | 8fb1b9f6cdb61246c1ae7d11339fa7a9c3739c38 /.github/workflows/docs.yaml | |
parent | 99d7a25d63b0a55136570919bd590b80571b91de (diff) | |
download | pygments-git-4a6f8b4bc9f9532706a07c899094e30edb093062.tar.gz |
add feature to download generated HTML
Diffstat (limited to '.github/workflows/docs.yaml')
-rw-r--r-- | .github/workflows/docs.yaml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 3f5097a1..892ce4bd 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -13,16 +13,18 @@ jobs: - uses: actions/setup-python@v1 with: python-version: 3.7 + - name: Sphinx install + run: pip install Sphinx - name: Sphinx build run: | - pip install Sphinx cd doc 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 + - name: Deploy to repo + uses: peaceiris/actions-gh-pages@v2.5.0 env: ACTIONS_DEPLOY_KEY: ${{ secrets.ACTIONS_DEPLOY_KEY }} EXTERNAL_REPOSITORY: pygments/pygments.github.io |