4 Commits

Author	SHA1	Message	Date
Micael Jarniac	40f6456add	Use MkDocs' `not_in_nav` (#5498) ... Closes #5497 Needs MkDocs 1.5 to be released. - [x] https://github.com/mkdocs/mkdocs/milestone/15 ## Summary Uses MkDocs' `not_in_nav` config to hide spam about files in `docs/rules/` not being in nav.	2023-09-19 00:01:43 +00:00
Charlie Marsh	1a2e444799	Use Insiders version of `mkdocs-material` (#5540) ... ## Summary This PR migrates our `mkdocs-material` version to [Insiders](https://squidfunk.github.io/mkdocs-material/insiders/), which we can access now that we're sponsors. We can't allow public access to the Insiders version, so we instead have a private fork, which contains a deploy key that I've added as a read-only Actions secret in this repo. (That is: the deploy key only lets you read that one repo, and do nothing else.) In general, non-Astral contributors can use the non-insiders version, and everything is expected to "work", but without the insiders features (they're intended to be ignored). See: https://squidfunk.github.io/mkdocs-material/insiders/#compatibility.	2023-07-05 20:36:26 +00:00
Calum Young	cd41de2588	Check docs formatting check (#4270)	2023-05-08 19:03:22 +00:00
trag1c	b8835c2e35	Added MkDocs section to CONTRIBUTING.md (#2803)	2023-02-12 16:07:24 +00:00