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.
This commit is contained in:
Micael Jarniac 2023-09-18 21:01:43 -03:00 committed by GitHub
parent 3e1dffab20
commit 40f6456add
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 9 additions and 7 deletions

View file

@ -103,7 +103,7 @@ fn process_documentation(documentation: &str, out: &mut String) {
let anchor = option.replace('.', "-");
out.push_str(&format!("- [`{option}`][{option}]\n"));
after.push_str(&format!("[{option}]: ../../settings#{anchor}\n"));
after.push_str(&format!("[{option}]: ../settings.md#{anchor}\n"));
continue;
}
@ -151,8 +151,8 @@ Something [`else`][other].
[other]: http://example.com.
[task-tags]: ../../settings#task-tags
[mccabe.max-complexity]: ../../settings#mccabe-max-complexity
[task-tags]: ../settings.md#task-tags
[mccabe.max-complexity]: ../settings.md#mccabe-max-complexity
"
);
}