2021-05-04 16:12:13 +00:00
|
|
|
name: Generate man pages
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
paths:
|
|
|
|
|
- "Base/usr/share/man/**"
|
2021-05-04 19:11:21 +00:00
|
|
|
- "Meta/Websites/man.serenityos.org/**"
|
2021-05-04 16:12:13 +00:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
convert_using_pandoc:
|
2022-05-23 20:12:57 +00:00
|
|
|
runs-on: ubuntu-22.04
|
2021-05-04 16:12:13 +00:00
|
|
|
if: always() && github.repository == 'SerenityOS/serenity' && github.ref == 'refs/heads/master'
|
|
|
|
|
steps:
|
2023-09-11 01:51:11 +00:00
|
|
|
- uses: actions/checkout@v4
|
2023-01-18 14:16:54 +00:00
|
|
|
- uses: r-lib/actions/setup-pandoc@v2
|
2021-05-04 16:12:13 +00:00
|
|
|
with:
|
|
|
|
|
pandoc-version: '2.13'
|
2021-10-20 19:35:46 +00:00
|
|
|
- name: Actually build website
|
|
|
|
|
run: ./Meta/build-manpages-website.sh
|
2021-06-05 15:03:22 +00:00
|
|
|
- name: Deploy to GitHub pages
|
2024-04-22 01:20:21 +00:00
|
|
|
uses: JamesIves/github-pages-deploy-action@v4.6.0
|
2021-05-04 16:12:13 +00:00
|
|
|
with:
|
|
|
|
|
git-config-name: BuggieBot
|
|
|
|
|
git-config-email: buggiebot@serenityos.org
|
|
|
|
|
branch: master
|
|
|
|
|
repository-name: SerenityOS/manpages-website
|
2023-01-06 17:19:42 +00:00
|
|
|
token: ${{ secrets.BUGGIEBOT_TOKEN }}
|
2021-05-04 16:12:13 +00:00
|
|
|
folder: output
|
