From 6ae0bd53586a308cc2cdf67100fcdbbb8d1a2dd9 Mon Sep 17 00:00:00 2001
From: amai2012 <amai2012@users.noreply.github.com>
Date: Fri, 11 Sep 2020 16:48:03 +0200
Subject: [PATCH] Create manual.html

---
 .github/workflows/buildman.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/buildman.yml b/.github/workflows/buildman.yml
index 5164982a8..afcaf60bc 100644
--- a/.github/workflows/buildman.yml
+++ b/.github/workflows/buildman.yml
@@ -13,7 +13,9 @@ jobs:
 
       - uses: docker://pandoc/latex:2.9
         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
         with: