docs: add mkdocs-redirects

This plugin makes it possible to keep old urls correct via a redirect to the new location of the relevant pages. Signed-off-by: Philip Molares <philip.molares@udo.edu>
2022-05-08 23:29:41 +02:00
parent fbf3100829
commit e82ecfb0c3
2 changed files with 12 additions and 0 deletions
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -2,3 +2,4 @@ mkdocs==1.3.0
 mkdocs-material==8.2.15
 pymdown-extensions==9.4
 mdx_truly_sane_lists==1.2
+mkdocs-redirects==1.0.4