add plugin aliases (#26206)

429c4c90 · Robby Milo · GitHub · 26cf3d9c · 429c4c90 · 429c4c90
Commit 429c4c90 authored Jul 09, 2020 by Robby Milo Committed by GitHub Jul 09, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

docs/sources/developers/_index.md
+1 -0

docs/sources/plugins/installation.md
+1 -0

No files found.
--- a/docs/sources/developers/_index.md
+++ b/docs/sources/developers/_index.md
 +++
 title = "Developers"
 type = "docs"
+aliases = ["/docs/plugins/developing/"]
 +++

 # Developers

--- a/docs/sources/plugins/installation.md
+++ b/docs/sources/plugins/installation.md
 +++
 title = "Install plugins"
 type = "docs"
+aliases = ["/docs/plugins/installation/"]
 [menu.docs]
 parent = "plugins"
 weight = 1