ci: Verify the HTML documentation is up-to-date

Fixes: OpenSC#3056
Jakuje · Mar 4, 2024 · 543b437 · 543b437
1 parent 5a9b18a
commit 543b437
Showing 1 changed file with 27 additions and 0 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -0,0 +1,27 @@
+---
+name: Make sure HTML files are updated
+
+on:
+  pull_request:
+    paths:
+      - '**.xml'
+      - '**.xml.in'
+      - .github/workflows/doc.yml
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+      - run: |
+          ./bootstrap &&
+          ./configure --prefix="/usr" &&
+          cd doc/tools &&
+          rm tools.html &&
+          make tools.html &&
+          cd ../files &&
+          rm files.html &&
+          make files.html &&
+          cd ../../ &&
+          git diff