fix: sort files

2022-09-10 16:11:16 -04:00
parent 674de032f8
commit bdf12179fa
1 changed files with 1 additions and 0 deletions
--- a/contrib/write-mkdocs
+++ b/contrib/write-mkdocs
@@ -48,6 +48,7 @@ def get_nav_from_selector(soup, selector, docs_dir):
                    child_dir = "getting-started/install/"
                    children = os.listdir(docs_dir + "/" + child_dir)
                    children = [child_dir + c for c in children]
+                    children.sort()
                    children.insert(
                        0, "getting-started/advanced-installation.md")
                    if os.path.exists(docs_dir + "/" + filename):