From 7370119474702cb45d96d6e4e83f2b890c4f47ed Mon Sep 17 00:00:00 2001 From: Oliver Schmid Date: Thu, 29 Jun 2023 21:17:33 +0200 Subject: [PATCH] make pipeline work --- pipeline/toctree.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pipeline/toctree.py b/pipeline/toctree.py index bd73abc3..8ac122e3 100644 --- a/pipeline/toctree.py +++ b/pipeline/toctree.py @@ -16,7 +16,7 @@ def create_toc_tree_page(version:str, relative_path:List[str]): # TODO add some description -> but where does it come from? doc.content(f".. toctree::") doc.newline() - sub_dirs = os.listdir(os.path.join("target", version, "docs", "/".join(relative_path))) + sub_dirs = sorted(os.listdir(os.path.join("target", version, "docs", "/".join(relative_path))), key=str.casefold) for sub_dir in sub_dirs: sub_dir.replace(".rst", "") doc.content(f"{relative_path[-1]}/{sub_dir}", indent=3)