name: Check if Lib/idlelib/help.html is in sync with Doc/library/idle.rst

on:
  push:
    paths:
      - "Doc/library/idle.rst"

jobs:
  check-help-html:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: 0
          persist-credentials: false
      - uses: actions/setup-python@v5
        with:
          python-version: '3.x'
      - name: Bild and copy
        run: |
          cd Doc
          make venv
          make html
          cd ..
          python -c "from Lib.idlelib.help import copy_strip; copy_strip()"
      - run: |
          if ! git diff --quiet Lib/idlelib/help.html; then
            exit 1