From 73e5bfef1730e2f7199c84df62a990b543d94083 Mon Sep 17 00:00:00 2001 From: Calvin Chai Date: Tue, 26 Nov 2024 16:11:58 -0500 Subject: [PATCH] chore --- docs/scripts/gen_ref_pages.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/scripts/gen_ref_pages.py b/docs/scripts/gen_ref_pages.py index 1a0d02c..815e4d3 100644 --- a/docs/scripts/gen_ref_pages.py +++ b/docs/scripts/gen_ref_pages.py @@ -29,4 +29,5 @@ mkdocs_gen_files.set_edit_path(full_doc_path, path.relative_to(root)) with mkdocs_gen_files.open(root / "docs/api/navigation.md", "w") as nav_file: - nav_file.writelines(nav.build_literate_nav()) \ No newline at end of file + nav_file.writelines(nav.build_literate_nav()) +