From 2d0e9b1647c184e2fcded18cb72b93f6c6432252 Mon Sep 17 00:00:00 2001 From: youben11 Date: Thu, 13 Jan 2022 09:22:28 +0100 Subject: [PATCH] fix(docs): update doc version based on tag --- docs/Makefile | 7 ++++++- docs/conf.py | 2 +- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index 3e37276a2..8b826a4ad 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -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 \ No newline at end of file diff --git a/docs/conf.py b/docs/conf.py index 371e35538..26f5df7fb 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -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 ---------------------------------------------------