mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-05 15:32:49 +00:00
mkdocs: sort plugins
nodes lexicographically
This commit is contained in:
parent
b9f83261db
commit
e660846817
@ -50,16 +50,16 @@ validation:
|
|||||||
# IMPORTANT: any changes to plugins have to be duplicated in
|
# IMPORTANT: any changes to plugins have to be duplicated in
|
||||||
# `mkdocs-offline.yml`. See that file for more details.
|
# `mkdocs-offline.yml`. See that file for more details.
|
||||||
plugins:
|
plugins:
|
||||||
|
- include-markdown # For the CLI reference
|
||||||
- mike:
|
- mike:
|
||||||
# Should help search engines point to latest docs
|
# Should help search engines point to latest docs
|
||||||
# instead of (often obsolete) v?.??.? docs.
|
# instead of (often obsolete) v?.??.? docs.
|
||||||
# TODO: Arguably, this could be `prerelease` when building prerelease docs.
|
# TODO: Arguably, this could be `prerelease` when building prerelease docs.
|
||||||
canonical_version: latest
|
canonical_version: latest
|
||||||
- include-markdown # For the CLI reference
|
|
||||||
- search
|
|
||||||
- redirects:
|
- redirects:
|
||||||
redirect_maps:
|
redirect_maps:
|
||||||
branches.md: bookmarks.md
|
branches.md: bookmarks.md
|
||||||
|
- search
|
||||||
|
|
||||||
# Not all of these may be necessary, especially since the material
|
# Not all of these may be necessary, especially since the material
|
||||||
# theme substitutes for some of them
|
# theme substitutes for some of them
|
||||||
|
Loading…
x
Reference in New Issue
Block a user