docs.yaml

name: Docs

on:
  push:
    branches:
      - master


env:
  FORCE_COLOR: 1

permissions: {}
jobs:
  build:
    permissions:
      contents: write # to push pages branch (peaceiris/actions-gh-pages)

    runs-on: ubuntu-latest
    steps:
    - name: Setup Python
      uses: actions/setup-python@v5
      with:
        python-version: "3.x"
    - name: Checkout Pygments
      uses: actions/checkout@v4
    - name: Install tox
      run: pip install -r requirements.txt
    - name: Sphinx build
      run: |
        tox -e web-doc -- dirhtml
        touch doc/_build/dirhtml/.nojekyll
        echo -e 'pygments.org\nwww.pygments.org' > doc/_build/dirhtml/CNAME
        echo 'Automated deployment of docs for GitHub pages.' > doc/_build/dirhtml/README
    - name: Deploy to repo
      if: github.repository_owner == 'pygments'
      uses: peaceiris/actions-gh-pages@v4
      with:
        deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
        external_repository: pygments/pygments.github.io
        publish_branch: master
        publish_dir: ./doc/_build/dirhtml