chore: automated commit

2023-02-06 23:22:34 +00:00
parent de3d16dce5
commit a0bc96b726
2 changed files with 19 additions and 5 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -74,6 +74,13 @@ extra:

 extra_css: ['font-awesome.css']

+plugins:
+  - search:
+      prebuild_index: true
+  - redirects:
+      redirect_maps:
+          'dci-evaluation.md': 'dci-deploysas9.md'
+
 # Repository
 repo_name: 'datacontroller/dcdocs.github.io'
 repo_url: 'https://github.com/datacontroller/dcdocs.github.io'