diff options
author | Georg Brandl <georg@python.org> | 2019-11-10 10:03:07 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2019-11-10 10:03:07 +0100 |
commit | 7b418bd18e01b06ccaa1c7bd03d11abf303f2fbd (patch) | |
tree | 52c6039f4f6ed986a3375b693e76075a1b3f99ee /.github | |
parent | d274930d8e869ee78699d0b00bd1db6e652061d8 (diff) | |
download | pygments-git-7b418bd18e01b06ccaa1c7bd03d11abf303f2fbd.tar.gz |
Doc build: turn off "_foo" processing.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 277d590c..3c71463e 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -18,6 +18,7 @@ jobs: 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 - uses: peaceiris/actions-gh-pages@v2.5.0 |