name: Docs

on:
  push:
    branches:
      - master

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@v2
      with:
        python-version: "3.10"
    - name: Checkout Pygments
      uses: actions/checkout@v2
    - name: Install Sphinx & WCAG contrast ratio
      run: pip install Sphinx wcag-contrast-ratio
    - name: Create Pyodide WASM package
      run: cd doc && make pyodide
    - name: Sphinx build
      run: |
        cd doc
        WEBSITE_BUILD=1 make dirhtml
        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
    - name: Deploy to repo
      if: github.repository_owner == 'pygments'
      uses: peaceiris/actions-gh-pages@v3
      with:
        deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
        external_repository: pygments/pygments.github.io
        publish_branch: master
        publish_dir: ./doc/_build/dirhtml