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

Merge pull request #7437 from turicas/patch-1

Browse Source 
Fix write-mkdocs
This commit is contained in:
Jose Diaz-Gonzalez
2025-01-03 19:43:42 -05:00
committed by GitHub
parent 8fa83c3d9e 230c6a017f
commit 104d738cb9
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.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]