2020-07-25 13:04:37 +02:00
|
|
|
name: Build manual
|
|
|
|
|
|
|
|
on: [push, pull_request]
|
|
|
|
|
2022-08-26 23:25:07 +02:00
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
|
2020-07-25 13:04:37 +02:00
|
|
|
jobs:
|
|
|
|
convert_via_pandoc:
|
2022-05-31 19:55:57 +02:00
|
|
|
runs-on: ubuntu-22.04
|
2020-07-25 13:04:37 +02:00
|
|
|
steps:
|
2022-10-11 19:50:59 +02:00
|
|
|
- uses: actions/checkout@v3
|
2020-07-25 13:04:37 +02:00
|
|
|
|
|
|
|
- run: |
|
|
|
|
mkdir output
|
|
|
|
|
|
|
|
- uses: docker://pandoc/latex:2.9
|
|
|
|
with:
|
2020-09-11 22:19:08 +02:00
|
|
|
args: --output=output/manual.html man/manual.md
|
|
|
|
|
|
|
|
- uses: docker://pandoc/latex:2.9
|
|
|
|
with:
|
|
|
|
args: --output=output/manual.pdf man/manual.md
|
|
|
|
|
2022-10-11 19:50:59 +02:00
|
|
|
- uses: actions/upload-artifact@v3
|
2020-07-25 13:04:37 +02:00
|
|
|
with:
|
|
|
|
name: output
|
|
|
|
path: output
|