Add CI workflow to generate and distribute manual

2 files changed, 28 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 }}
diff --git a/.gitignore b/.gitignore
index d39c061..ab2f77e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,8 @@
 /config.mk
 /docs/*.html
+/docs/*.info
 /docs/*.pdf
+/docs/*.texi
 /docs/dir
 /docs/stats/
 /lisp/*-autoloads.el