doc: fix broken links in redirect list

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
This commit is contained in:
David B. Kinder 2021-06-21 18:57:43 -07:00 committed by David Kinder
parent ccb1bf18dc
commit bc20d0c423

View File

@ -389,6 +389,6 @@ html_redirect_pages = [
('user-guides/index', 'develop'),
('hardware', 'reference/hardware'),
('release_notes', 'release_notes/index'),
('getting-started/rt_industry', 'getting_started/getting_started'),
('getting-started/rt_industry_ubuntu', 'getting_started/getting_started'),
('getting-started/rt_industry', 'getting-started/getting-started'),
('getting-started/rt_industry_ubuntu', 'getting-started/getting-started'),
]