Create manual.html

This commit is contained in:
amai2012 2020-09-11 16:48:03 +02:00 committed by GitHub
parent 600538a325
commit 6ae0bd5358
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -13,7 +13,9 @@ jobs:
- uses: docker://pandoc/latex:2.9 - uses: docker://pandoc/latex:2.9
with: with:
args: --output=output/manual.pdf man/manual.md args: |
--output=output/manual.html man/manual.md
--output=output/manual.pdf man/manual.md:
- uses: actions/upload-artifact@v2 - uses: actions/upload-artifact@v2
with: with: