fix(docs): update doc version based on tag

This commit is contained in:
youben11
2022-01-13 09:22:28 +01:00
committed by Ayoub Benaissa
parent c33daaf0c8
commit 2d0e9b1647
2 changed files with 7 additions and 2 deletions

View File

@@ -1,4 +1,7 @@
doc:
update_doc_version:
sed -i "s/release = '.*'/release = '`git describe --tags --abbrev=0`'/g" conf.py
doc: update_doc_version
cd ../compiler; make doc python-bindings
bash symlink_md.bash
bash symlink_py.bash
@@ -9,3 +12,5 @@ clean:
rm -rf _build/
rm -rf links_to_compiler_build/
rm -rf python_api/*
.PHONY: update_doc_version

View File

@@ -30,7 +30,7 @@ root_url = os.environ.get("DOC_ROOT_URL", "/concrete-compiler")
root_url = root_url if root_url.endswith('/') else root_url + '/'
# The full version, including alpha/beta/rc tags
release = 'v0.1.0-alpha'
release = 'v0.1.1'
# -- General configuration ---------------------------------------------------