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-14 14:34:40 +02:00
|
|
|
commit_user_name: Mihai Fufezan
|
|
|
|
|
commit_user_email: fufexan@protonmail.com
|
|
|
|
|
commit_author: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
|
