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