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 b5b28363c1c57718ecfa38dc85220a78f6be4859..ec8c3aaf5f4a2517f4deba8964360fa70ce7b50e 100644 (file)
--- 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 .