diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2022-01-30 20:13:05 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2022-01-30 20:13:05 +0100 |
| commit | 345d60aea86b1acc4027d38714a609f3c3138192 (patch) | |
| tree | c3a41aa7cf5ce543cf518c4761e1070f5adc4b61 /.github | |
| parent | 429d5c55e82dd4480094d55fd0add9a872f43691 (diff) | |
Add CI workflow to generate and distribute manual
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/manual.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml new file mode 100644 index 0000000..8c310e4 --- /dev/null +++ b/.github/workflows/manual.yml @@ -0,0 +1,26 @@ +name: manual +on: + push: + branches: master +jobs: + manual: + name: "Generate and distribute manual" + runs-on: ubuntu-latest + steps: + - name: Configure + uses: magit/actions/config@main + - name: Install Emacs + uses: magit/actions/install-emacs@main + - name: Install Texlive + uses: magit/actions/install-texlive@main + - name: Install Org + uses: magit/actions/install-org@main + - name: Generate manual + uses: magit/actions/manual-generate@main + - name: Commit manual + uses: magit/actions/manual-commit@main + - name: Publish manual + uses: magit/actions/manual-publish@main + with: + key-id: ${{ secrets.AWS_ACCESS_KEY_ID }} + secret: ${{ secrets.AWS_SECRET_ACCESS_KEY }} |