From 83d4dd16adfced4a600c36aceb488adf5a2a539e Mon Sep 17 00:00:00 2001
From: Emanuele Torre <torreemanuele6@gmail.com>
Date: Tue, 11 Jul 2023 04:34:26 +0200
Subject: Add CI workflow to make sure the man page and man.test can be built

And that man.test is up to date.
---
 .github/workflows/manpage.yml | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 .github/workflows/manpage.yml

(limited to '.github')

diff --git a/.github/workflows/manpage.yml b/.github/workflows/manpage.yml
new file mode 100644
index 00000000..db84c629
--- /dev/null
+++ b/.github/workflows/manpage.yml
@@ -0,0 +1,40 @@
+name: Building man page and man.test
+on:
+  push:
+    paths:
+      - '.github/workflows/manpage.yml'
+      - 'docs/**'
+      - 'tests/man.test'
+      - 'jq.1.prebuilt'
+
+jobs:
+  manpages:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.11'
+          cache: pipenv
+      - name: Install pipenv
+        run: pip install pipenv
+      - name: Install dependencies
+        run: pipenv sync
+        working-directory: docs
+      - name: Configure
+        run: |
+          autoreconf -i
+          ./configure --enable-docs
+      - name: Build man page and man.test
+        run: |
+          mv jq.1.prebuilt jq.1.old
+          rm -f tests/man.test
+          make jq.1.prebuilt tests/man.test
+      - name: Make sure that jq.1.prebuilt and man.test are up to date
+        run: |
+          git diff --exit-code tests/man.test
+          # skip build date in jq.1.prebuilt
+          test -s jq.1.prebuilt
+          diff -- <(tail -n +3 jq.1.old) <(tail -n +3 jq.1.prebuilt)
-- 
cgit v1.2.3