From 511833e5f0421046b4bb1d8d91e7fd236ef9d66a Mon Sep 17 00:00:00 2001 From: Zanie Blue Date: Tue, 16 Dec 2025 08:05:02 -0600 Subject: [PATCH] Add a "Guides" section to the documentation (#1925) ... and move Installation, Type checking, and Editor integrations there. These pages are more "Guide" style than "Concepts" --- mkdocs.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/mkdocs.yml b/mkdocs.yml index adb866d..070f44a 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -82,16 +82,17 @@ extra: link: https://x.com/astral_sh nav: - Introduction: index.md - - Concepts: + - Guides: - Installation: installation.md - Type checking: type-checking.md + - Editor integration: editors.md + - Concepts: - Configuration: configuration.md - Module discovery: modules.md - Python version: python-version.md - File exclusions: exclusions.md - Rules: rules.md - Suppression: suppression.md - - Editors: editors.md - Features: - Type system: features/type-system.md - Diagnostics: features/diagnostics.md