github/hedgedoc
1
0
Fork 0
mirror of https://github.com/hedgedoc/hedgedoc.git synced 2024-11-25 19:26:31 -05:00
Code Issues Projects Releases Packages Wiki Activity

feat(docs): activate search plugin

Browse source 
Signed-off-by: Tilman Vatteroth <git@tilmanvatteroth.de>
This commit is contained in:
Tilman Vatteroth 2023-02-19 08:36:47 +01:00 committed by David Mehren
parent cfc60419db
commit 9055214418
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
docs/mkdocs.yml
View file

@ -90,6 +90,7 @@ extra_css:
- theme/styles/roboto.css - theme/styles/roboto.css
plugins: plugins:
- search
- redirects: - redirects:
redirect_maps: redirect_maps:
'setup/docker-linuxserver.md': 'setup/community.md' 'setup/docker-linuxserver.md': 'setup/community.md'