2020-07-25 13:04:37 +02:00
|
|
|
name: Build manual
|
|
|
|
|
|
|
|
on: [push, pull_request]
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
convert_via_pandoc:
|
|
|
|
runs-on: ubuntu-18.04
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
|
|
|
- run: |
|
|
|
|
mkdir output
|
|
|
|
|
|
|
|
- uses: docker://pandoc/latex:2.9
|
|
|
|
with:
|
2020-09-11 16:48:03 +02:00
|
|
|
args: |
|
|
|
|
--output=output/manual.html man/manual.md
|
2020-09-11 16:56:35 +02:00
|
|
|
--output=output/manual.pdf man/manual.md
|
2020-07-25 13:04:37 +02:00
|
|
|
|
2020-07-30 10:36:06 +02:00
|
|
|
- uses: actions/upload-artifact@v2
|
2020-07-25 13:04:37 +02:00
|
|
|
with:
|
|
|
|
name: output
|
|
|
|
path: output
|