diff options
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/documentation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dev/documentation.md b/docs/dev/documentation.md index e23b0cdb..7476782c 100644 --- a/docs/dev/documentation.md +++ b/docs/dev/documentation.md @@ -10,7 +10,7 @@ To contribute to the Binary Ninja documentation, first sign the [contribution li - [breathe] - [mkdocs] - [doxygen] -- The following mkdocs plugins: `mkdocs-callouts mkdocs-click mkdocs-include-markdown-plugin mkdocs-material mkdocs-glightbox mkdocs-htmlproofer-plugin` +- The following mkdocs plugins: `mkdocs-callouts mkdocs-click mkdocs-include-markdown-plugin mkdocs-material mkdocs-glightbox mkdocs-htmlproofer-plugin mkdocs-redirects` ## Building |