diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/manpage.yml | 40 |
1 files changed, 40 insertions, 0 deletions
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) |