GitHub Actions: Warn if docs manifest possibly outdated (#232)

* GitHub Actions: Fail if docs manifest outdated

Props mcsf, priethor.

Author: mcsf

.github/workflows/docs-manifest.yml

@@ -0,0 +1,35 @@
+name: Keep docs manifest up to date
+on:
+  pull_request:
+    branches:
+      - trunk
+    paths:
+      - docs/**
+
+jobs:
+  check-docs-manifest:
+    name: Check docs manifest for staleness
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Setup PHP
+      uses: shivammathur/setup-php@v2
+      with:
+        php-version: '8.4'
+        tools: composer:v2
+
+    - name: Regenerate manifest
+      run: composer run docs:manifest
+
+    - name: Check whether manifest has been updated
+      env:
+        MANIFEST_PATH: docs/bin/manifest.json
+      run: |
+        if ! git diff --quiet -- "$MANIFEST_PATH"; then
+          echo "There are documentation changes in this branch that require that the docs manifest be regenerated."
+          echo
+          echo "Please run 'composer run docs:manifest' and commit $MANIFEST_PATH"
+          exit 1
+        fi