From 9ed031ddd588442f22be13ce608547a5809b62f0 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 3 Sep 2024 12:28:25 +0200 Subject: [PATCH] Fix TODOs in docs --- docs/source/conf.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 4b7dc1737..4371b79f1 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -70,12 +70,12 @@ if os.getenv("READTHEDOCS"): 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