Move editor integrations into MkDocs (#2983)

2023-02-17 08:12:20 -05:00
parent 50ee14a418
commit a0912deb2b
4 changed files with 219 additions and 226 deletions
--- a/scripts/generate_mkdocs.py
+++ b/scripts/generate_mkdocs.py
@@ -12,7 +12,6 @@ SECTIONS: list[tuple[str, str]] = [
    ("Configuration", "configuration.md"),
    ("Rules", "rules.md"),
    ("Settings", "settings.md"),
-    ("Editor Integrations", "editor-integrations.md"),
    ("FAQ", "faq.md"),
    ("Acknowledgements", "acknowledgements.md"),
 ]