From 6eca037580b3d6ec248402a9be9923f483cf6fe5 Mon Sep 17 00:00:00 2001 From: lzehl Date: Thu, 9 Nov 2023 12:05:02 +0100 Subject: [PATCH] fixing update --- pipeline/toctree.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pipeline/toctree.py b/pipeline/toctree.py index 864e90ae..df278d93 100644 --- a/pipeline/toctree.py +++ b/pipeline/toctree.py @@ -8,7 +8,7 @@ def create_toc_tree_page(version:str, relative_path:List[str]): os.makedirs(os.path.dirname(target_file), exist_ok=True) with open(target_file, "w") as output_file: doc = RstCloth(output_file, line_width=160) - heading = ''.join([relative_path[-1][0].upper(), relative_path[-1][1:]]) + heading = ''.join([relative_path[-1][0].upper(), relative_path[-1][1:]]).replace("_", " ") doc.heading(heading, char="#", overline=True) doc.newline() # TODO add some description -> but where does it come from?