From 429c4c903b5d66c66321b9245c2916fc47017f38 Mon Sep 17 00:00:00 2001 From: Robby Milo Date: Thu, 9 Jul 2020 16:42:04 +0200 Subject: [PATCH] add plugin aliases (#26206) --- docs/sources/developers/_index.md | 1 + docs/sources/plugins/installation.md | 1 + 2 files changed, 2 insertions(+) diff --git a/docs/sources/developers/_index.md b/docs/sources/developers/_index.md index 703f8a935a9..20dec5156ae 100644 --- a/docs/sources/developers/_index.md +++ b/docs/sources/developers/_index.md @@ -1,6 +1,7 @@ +++ title = "Developers" type = "docs" +aliases = ["/docs/plugins/developing/"] +++ # Developers diff --git a/docs/sources/plugins/installation.md b/docs/sources/plugins/installation.md index 95715f49cd5..6c0fb0f6b9e 100644 --- a/docs/sources/plugins/installation.md +++ b/docs/sources/plugins/installation.md @@ -1,6 +1,7 @@ +++ title = "Install plugins" type = "docs" +aliases = ["/docs/plugins/installation/"] [menu.docs] parent = "plugins" weight = 1