From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Mon, 4 Apr 2022 20:37:24 +0000 (-0700)
Subject: Maintain symlink to docs for latest release (#8555)
X-Git-Tag: cvc5-1.0.0~23
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f1a242bb12242666dc85206cd1cd1f203e200c43;p=cvc5.git

Maintain symlink to docs for latest release (#8555)

This PR creates/updates a symlink called latest to the last release. This simplifies permalinks into the documentation.
---

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index b5b28363c..ec8c3aaf5 100644
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -124,6 +124,9 @@ jobs:
             cp -r docs-new target-releases/$NAME
             cd target-releases/
 
+            rm -f latest
+            ln -s $NAME latest
+
             python3 genversions.py
             git add .