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