Merge pull request #2797 from amai2012/buildHTML

Create manual.html
2020-09-12 00:10:27 +02:00 · 2020-09-12 00:10:27 +02:00 · 6b77a04347
parent e03a8e1dc1 c162676099
commit 6b77a04347
1 changed files with 6 additions and 2 deletions
--- a/.github/workflows/buildman.yml
+++ b/.github/workflows/buildman.yml
@ -11,6 +11,10 @@ jobs:
      - run: |
          mkdir output

+      - uses: docker://pandoc/latex:2.9
+        with:
+          args: --output=output/manual.html man/manual.md
+             
      - uses: docker://pandoc/latex:2.9
        with:
          args: --output=output/manual.pdf man/manual.md