diff --git a/docs/source/conf.py b/docs/source/conf.py index 4b7dc1737a3..4371b79f16a 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -70,12 +70,12 @@ if rtds_version == "latest": release = yosys_ver + "-dev" todo_include_todos = False - elif rtds_version.startswith("yosys-"): - release = yosys_ver - todo_include_todos = False - else: + elif rtds_version.startswith("docs"): release = rtds_version todo_include_todos = True + else: + release = yosys_ver + todo_include_todos = False else: release = yosys_ver todo_include_todos = True