ci: Add GitHub Actions for documentation deployment

.github/workflows/deploy-docs.yml

@@ -0,0 +1,33 @@
+name: Deploy Documentation
+# This job builds and deploys documenation to github pages.
+# It runs on every push to master.
+on:
+  push:
+    branches:
+      - main
+  schedule:
+    - cron: "* 0 * * *"
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    container:
+      image: tendermintdev/docker-website-deployment
+    steps:
+      - name: Checkout 🛎️
+        uses: actions/checkout@v3
+        with:
+          persist-credentials: false
+          fetch-depth: 0
+
+      - name: Install and Build 🔧
+        run: |
+          apk add rsync
+          make build-docs LEDGER_ENABLED=false
+
+      - name: Deploy 🚀
+        uses: JamesIves/[email protected]
+        with:
+          branch: gh-pages
+          folder: docs/output
+          single-commit: true

.gitignore

@@ -14,6 +14,7 @@ private
 # Build
 vendor
 build
+docs/output
 docs/_build
 docs/tutorial
 docs/node_modules

Makefile

@@ -198,9 +198,9 @@ build-docs:
 	while read -r branch path_prefix; do \
 		echo "building branch $${branch}" ; \
 		(git clean -fdx && git reset --hard && git checkout $${branch} && npm install && VUEPRESS_BASE="/$${path_prefix}/" npm run build) ; \
-		mkdir -p ~/output/$${path_prefix} ; \
-		cp -r .vuepress/dist/* ~/output/$${path_prefix}/ ; \
-		cp ~/output/$${path_prefix}/index.html ~/output ; \
+		mkdir -p output/$${path_prefix} ; \
+		cp -r .vuepress/dist/* output/$${path_prefix}/ ; \
+		cp output/$${path_prefix}/index.html output ; \
 	done < versions ;
 
 .PHONY: build-docs