diff --git a/docs/source/conf.py b/docs/source/conf.py index c625d2814ba..1f8a886e6da 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -56,6 +56,9 @@ else: release = yosys_ver todo_include_todos = False +elif os.getenv("YOSYS_DOCS_RELEASE"): + release = yosys_ver + todo_include_todos = False else: release = yosys_ver todo_include_todos = True