3 commits

Author	SHA1	Message	Date
Dhruv Manilawala	48680e10b6	Watch for changes to the generated file during documentation serve (#14476) ... ## Summary Similar to https://github.com/astral-sh/uv/pull/9244, but we need to use the `mkdocs.generated.yml` file because the `scripts/generate_mkdocs.py` uses the `mkdocs.template.yml` to generate the final config.	2024-11-20 04:51:20 +00:00
Charlie Marsh	02946e7b0c	Redirect from rule codes to rule pages in docs (#8636) ... ## Summary This adds redirects from, e.g., `https://docs.astral.sh/ruff/rules/F401` to `https://docs.astral.sh/ruff/rules/unused-import`, which are generated automatically when creating the documentation. Though we want to move towards human-readable names eventually, I think this is a nice and user-friendly change (and doesn't require any fancy infrastructure, since the redirects are handled via a plugin and added client-side). Closes #4710.	2023-11-12 17:47:10 -05:00
Charlie Marsh	c9e02c52a8	Add separate configuration for MkDocs Insiders plugins (#5544) ... ## Summary This PR adds a separate configuration file to enable us to turn on [Insiders-only plugins](https://squidfunk.github.io/mkdocs-material/insiders/getting-started/#built-in-plugins). I've turned on the `typeset` plugin which ensures that the settings on the left-hand navigation pane render as code: <img width="1792" alt="Screen Shot 2023-07-05 at 6 27 20 PM" src="c93676dd-bb48-417a-9d3b-528bf001e9b7">	2023-07-05 18:40:21 -04:00