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
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
main:
|
|
|
|
|
name: Build man pages
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Install deps
|
|
|
|
|
run: sudo apt install pandoc
|
|
|
|
|
- name: Clone repository
|
|
|
|
|
uses: actions/checkout@v3
|
|
|
|
|
# Not needed
|
|
|
|
|
# with:
|
|
|
|
|
# submodules: recursive
|
|
|
|
|
- name: Build man pages
|
|
|
|
|
run: make man
|
|
|
|
|
- uses: stefanzweifel/git-auto-commit-action@v4
|
|
|
|
|
name: Commit
|
|
|
|
|
with:
|
|
|
|
|
commit_message: "[gha] build man pages"
|
2023-08-04 16:18:07 +02:00
|
|
|
commit_author: Mihai Fufezan <fufexan@protonmail.com>
|
