mirror of
https://hk.gh-proxy.com/https://github.com/NodeBB/docs.git
synced 2025-10-03 08:43:37 +08:00
Add official search plugin to docs
Material for MkDocs officially provides a (built-in) plugin which adds full-text search to documentation sites (https://squidfunk.github.io/mkdocs-material/plugins/search/). It works with client-side JavaScript and it's really useful, makes it a breeze to comb trough large wikis like this looking for specific information. I tested it locally for the NodeBB Docs, and can confirm it works without issues, so, this pull request enables it for the online version of the site.
This commit is contained in:
parent
92ef6b669b
commit
ef72159bcb
1 changed files with 1 additions and 0 deletions
|
@ -11,6 +11,7 @@ markdown_extensions:
|
|||
- fenced_code
|
||||
- tables
|
||||
plugins:
|
||||
- search
|
||||
- social
|
||||
nav:
|
||||
- 'index.md'
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue