Set correct paths for "Edit this page"

crystal-lang · Oct 19, 2024 · 71eee55 · 71eee55
1 parent bb2607a
commit 71eee55
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/gen_pages.py b/docs/gen_pages.py
@@ -23,3 +23,6 @@
 )
 with mkdocs_gen_files.open("configurator.md", "w") as f:
     f.write(content)
+
+mkdocs_gen_files.set_edit_path("configurator.md", "configurator.md")
+mkdocs_gen_files.set_edit_path("index.md", "../README.md")