diff options
| author | Georg Brandl <georg@python.org> | 2019-11-10 09:22:29 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2019-11-10 09:46:26 +0100 |
| commit | d274930d8e869ee78699d0b00bd1db6e652061d8 (patch) | |
| tree | fe0657de7abac598e02304fe8f5b5ece746b9334 /.github | |
| parent | b9d5d538e2146d9e6455df6313dc1d80d525f64c (diff) | |
| download | pygments-git-d274930d8e869ee78699d0b00bd1db6e652061d8.tar.gz | |
Add docs deploy script.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs.yaml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml new file mode 100644 index 00000000..277d590c --- /dev/null +++ b/.github/workflows/docs.yaml @@ -0,0 +1,28 @@ +name: Docs + +on: + push: + branches: + - master + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - uses: actions/setup-python@v1 + with: + python-version: 3.7 + - name: Sphinx build + run: | + pip install Sphinx + cd doc + make html + echo -e 'pygments.org\nwww.pygments.org' > _build/html/CNAME + echo 'Automated deployment of docs for GitHub pages.' > _build/html/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 |