Mirrors/dokku
1
0
Fork 0
mirror of https://github.com/dokku/dokku.git synced 2025-12-16 12:07:45 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix write-mkdocs

Browse Source
This commit is contained in:
Álvaro Justen
2025-01-01 12:45:03 -03:00
committed by GitHub
parent 8fa83c3d9e
commit 230c6a017f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
contrib/write-mkdocs
View File

@@ -70,7 +70,7 @@ def get_nav_from_selector(soup: BeautifulSoup, selector: str, docs_dir: str):
children = os.listdir(docs_dir + "/" + child_dir) children = os.listdir(docs_dir + "/" + child_dir)
children.sort( 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, reverse=True,
) )
children = [child_dir + c for c in children] children = [child_dir + c for c in children]