From 5eff8b77bca064e0e791694bc570a06175884e8a Mon Sep 17 00:00:00 2001 From: Guido Grazioli Date: Tue, 1 Mar 2022 10:01:21 +0100 Subject: [PATCH] docs: fix incorrect version list generation --- .github/workflows/docs.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index a8f80d2..90647b3 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -5,7 +5,7 @@ on: branches: - main tags: - - "[0-9]+.[0-9]+.[0-9]+" + - "*.*.*" env: COLORTERM: 'yes' @@ -65,10 +65,9 @@ jobs: git checkout gh-pages rm -rf $(basename ${GITHUB_REF}) mv docs/_build/html $(basename ${GITHUB_REF}) - #ln --force --no-dereference --symbolic $(dirname *.*.*/index.html | sort --version-sort --reverse | head -n1) latest ln --force --no-dereference --symbolic main latest git show origin/main:docs/_gh_include/header.inc > index.html - (echo main; echo latest; dirname *.*.*/index.html | sort --version-sort --reverse) | xargs -I@@ -n1 echo '
  • @@' >> index.html + (echo main; echo latest; dirname *.*.*/index.html | sort --version-sort --reverse) | xargs -I@@ -n1 echo '
  • @@
  • ' >> index.html git show origin/main:docs/_gh_include/footer.inc >> index.html git add $(basename ${GITHUB_REF}) latest index.html git commit -m "Update docs for $(basename ${GITHUB_REF})" || true