docs: rename sub-recipe to subrecipe (#4886)

This commit is contained in:
dianed-square 2025-09-29 13:41:19 -07:00 committed by GitHub
parent 976e663887
commit 2bd18a757b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 144 additions and 136 deletions

View file

@ -134,6 +134,14 @@ const config: Config = {
from: '/docs/guides/recipe-reference',
to: '/docs/guides/recipes/recipe-reference'
},
{
from: '/docs/guides/recipes/sub-recipes',
to: '/docs/guides/recipes/subrecipes'
},
{
from: '/docs/tutorials/sub-recipes-in-parallel',
to: '/docs/tutorials/subrecipes-in-parallel'
},
{
from: '/docs/guides/tool-permissions',
to: '/docs/guides/managing-tools/tool-permissions'