docs/publish.sh: only render latest (patch+rc) version for each (major,minor) versio.

This commit is contained in:
Christian Schwarz
2020-06-14 18:24:20 +02:00
parent dab222d95f
commit 073514fc21
2 changed files with 78 additions and 3 deletions

View File

@ -51,11 +51,10 @@ git rm -rf .
popd
echo "building site"
set -e
sphinx-versioning build \
--show-banner \
--whitelist-branches '^master$' \
--whitelist-tags '(v)?\d+\.[1-9][0-9]*.\d+$' \
$(python3 gen-sphinx-versioning-flags.py) \
docs ./public_git \
-- -c sphinxconf # older conf.py throw errors because they used
# version = subprocess.show_output(["git", "describe"])