commit 05fce2939270026b00e78a682e18090fbf5c14ca parent 00a3d3d7fe640fcda53a44585683a8684ac35a76 Author: Andreas Gruhler <agruhl@gmx.ch> Date: Sun, 25 Jul 2021 23:06:26 +0200 Merge branch 'master' of github.com:in0rdr/diary Diffstat:
| A | .github/workflows/man.yml | | | 29 | +++++++++++++++++++++++++++++ |
1 file changed, 29 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml @@ -0,0 +1,29 @@ +name: Man page + +on: + push: + branches: [ master ] + pull_request: + branches: [ master ] + +jobs: + man: + runs-on: ubuntu-20.04 + steps: + - name: Check out repository + uses: actions/checkout@v2 + - name: Install mandoc + run: sudo apt-get install mandoc + - name: Create html from man doc + run: mandoc -Thtml man1/diary.1 > man1/diary.1.html + - name: Add ssh key + env: + SSH_AUTH_SOCK: /tmp/ssh-agent.sock + # https://www.webfactory.de/blog/use-ssh-key-for-private-repositories-in-github-actions + run: | + ssh-agent -a $SSH_AUTH_SOCK > /dev/null + ssh-add - <<< $(echo "${{ secrets.SSH_B64 }}" | base64 -d) + - name: Send html to website + env: + SSH_AUTH_SOCK: /tmp/ssh-agent.sock + run: scp man1/diary.1.html hcloud@diary.in0rdr.ch:/home/hcloud/