build: Refresh update-website script
@@ -9,6 +9,8 @@ set -e
git merge origin/development
sed -i -e "s/^\version\:\ early-access.*/version: latest/g" docs/antora.yml
sed -i -e "s/jreleaser-version\:\ .*/jreleaser-version: ${VERSION}/g" docs/antora.yml
+sed -i -e "s/jreleaser-effective-version\:\ .*/jreleaser-effective-version: ${VERSION}/g" docs/antora.yml
+sed -i -e "s/jreleaser-tag\:\ .*/jreleaser-tag: v${VERSION}/g" docs/antora.yml
echo ${VERSION} > VERSION
git add VERSION
git config --global user.email "${GITHUB_BOT_EMAIL}"
