From 230c6a017f5e1180aff61fabe2e5ce44439ac4e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lvaro=20Justen?= Date: Wed, 1 Jan 2025 12:45:03 -0300 Subject: [PATCH] Fix write-mkdocs --- contrib/write-mkdocs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/write-mkdocs b/contrib/write-mkdocs index 686636b24..50fbf98c6 100644 --- a/contrib/write-mkdocs +++ b/contrib/write-mkdocs @@ -70,7 +70,7 @@ def get_nav_from_selector(soup: BeautifulSoup, selector: str, docs_dir: str): children = os.listdir(docs_dir + "/" + child_dir) children.sort( - key=lambda x: list(map(int, x.split("-")[0].split("."))), + key=lambda x: list(map(int, x.split("-")[0].split("."))) if "." in x else [-1, -1, -1], reverse=True, ) children = [child_dir + c for c in children]