ok/jj
1
0
Fork 0
forked from mirrors/jj

docs website & mkdocs.yml: redirect /branches/ URL

After this is merged, https://martinvonz.github.io/jj/prerelease/branches/
should redirect to https://martinvonz.github.io/jj/prerelease/bookmarks/
instead of resulting in a 404 error and old links to docs
(from posts or from Google index) breaking.
This commit is contained in:
Ilya Grigoriev 2024-09-15 23:15:56 -07:00
parent a684076f16
commit 1c397b5d1b
2 changed files with 2 additions and 0 deletions

View file

@ -12,6 +12,7 @@ plugins:
- search
- redirects:
redirect_maps:
branches.md: bookmarks.md
# Turns out the `offline` plugin forces the following
# option no matter what, and therefore shouldn't be
# used in the main config file.

View file

@ -48,6 +48,7 @@ plugins:
- search
- redirects:
redirect_maps:
branches.md: bookmarks.md
# Not all of these may be necessary, especially since the material
# theme substitutes for some of them