From a243e0443e8c6d3a6aa9c5e985dd37b1e780d373 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Thu, 16 Dec 2021 17:09:45 +0000
Subject: [PATCH] CI: publish documentation for tagged commits.

---
 .github/workflows/main.yaml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index e4144ec..52fa0bd 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -55,7 +55,7 @@ jobs:
       - name: Build documentation
         run: |
           sphinx-build docs docs/_build
-      - name: Publish documentation
+      - name: Publish development documentation
         if: github.event_name == 'push' && github.event.ref == 'refs/heads/main'
         uses: JamesIves/github-pages-deploy-action@releases/v3
         with:
@@ -63,3 +63,14 @@ jobs:
           BRANCH: gh-pages
           FOLDER: docs/_build
           TARGET_FOLDER: latest/
+      - name: Extract release version
+        if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
+        run: echo "VERSION=$(python setup.py --version)" >>$GITHUB_ENV
+      - name: Publish release documentation
+        if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
+        uses: JamesIves/github-pages-deploy-action@releases/v3
+        with:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          BRANCH: gh-pages
+          FOLDER: docs/_build
+          TARGET_FOLDER: v${{ env.VERSION }}/