diff --git a/doc/_scripts/redirects.py b/doc/_scripts/redirects.py index ac9cb6f33bf..6b4825c6c91 100644 --- a/doc/_scripts/redirects.py +++ b/doc/_scripts/redirects.py @@ -14,6 +14,8 @@ Notes: REDIRECTS = [ ('application/index', 'develop/application/index'), + ('boards/x86/ehl_crb/doc/index', 'boards/x86/intel_ehl/doc/index'), + ('boards/x86/rpl_crb/doc/index', 'boards/x86/intel_rpl/doc/index'), ('development_process/code_flow', 'project/code_flow'), ('development_process/index', 'project/index'), ('development_process/issues', 'project/issues'),