update-pages.yml

# .github/workflows/update-pages.yml
name: Update Pages List

on:
  push:
    branches: [ main ]
    paths:
      - '**.md'
  workflow_dispatch:

permissions:
  contents: write
  pages: write

jobs:
  update-pages:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
        with:
          ref: main

      - name: Set up Python
        uses: actions/setup-python@v4
        with:
          python-version: '3.x'

      - name: Update index.html
        run: |
          python3 - <<EOF
          import os
          import re

          # Get all markdown files
          md_files = [f for f in os.listdir('.') if f.endswith('.md')]
          # Sort files alphabetically, but ensure README.md is first
          md_files.sort()
          if 'README.md' in md_files:
              md_files.remove('README.md')
              md_files.insert(0, 'README.md')

          # Read the current index.html
          with open('index.html', 'r') as f:
              content = f.read()

          # Create the new pages array string
          pages_array = "const pages = [\n            '" + "',\n            '".join(md_files) + "'\n        ];"

          # Replace the existing pages array in index.html
          new_content = re.sub(
              r'const pages = \[[\s\S]*?\];',
              pages_array,
              content
          )

          # Write the updated content back to index.html
          with open('index.html', 'w') as f:
              f.write(new_content)
          EOF

      - name: Commit and push if changed
        run: |
          git config --global user.name 'GitHub Action'
          git config --global user.email 'action@github.com'
          git add index.html
          git diff --quiet && git diff --staged --quiet || (git commit -m "Update pages list" && git push)

      - name: Checkout gh-pages
        uses: actions/checkout@v3
        with:
          ref: gh-pages
          clean: false

      - name: Copy updated index.html to gh-pages
        run: |
          git checkout main -- index.html
          git config --global user.name 'GitHub Action'
          git config --global user.email 'action@github.com'
          git add index.html
          git diff --quiet && git diff --staged --quiet || (git commit -m "Update pages list" && git push)