2022-08-21 10:30:22 +02:00
|
|
|
name: Build man pages
|
|
|
|
|
|
|
|
on:
|
|
|
|
workflow_dispatch:
|
|
|
|
push:
|
|
|
|
paths:
|
|
|
|
- docs/**
|
2022-09-07 12:44:20 +02:00
|
|
|
branches:
|
|
|
|
- 'main'
|
2022-08-21 10:30:22 +02:00
|
|
|
|
2024-07-27 20:29:49 +02:00
|
|
|
concurrency:
|
|
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
|
|
cancel-in-progress: true
|
|
|
|
|
2022-08-21 10:30:22 +02:00
|
|
|
jobs:
|
|
|
|
main:
|
|
|
|
name: Build man pages
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Install deps
|
|
|
|
run: sudo apt install pandoc
|
2023-09-10 20:51:13 +02:00
|
|
|
|
2022-08-21 10:30:22 +02:00
|
|
|
- name: Clone repository
|
|
|
|
uses: actions/checkout@v3
|
2023-09-10 20:51:13 +02:00
|
|
|
with:
|
|
|
|
token: ${{ secrets.PAT }}
|
|
|
|
|
2022-08-21 10:30:22 +02:00
|
|
|
- name: Build man pages
|
|
|
|
run: make man
|
2023-09-10 20:51:13 +02:00
|
|
|
|
2022-08-21 10:30:22 +02:00
|
|
|
- uses: stefanzweifel/git-auto-commit-action@v4
|
|
|
|
name: Commit
|
|
|
|
with:
|
|
|
|
commit_message: "[gha] build man pages"
|