Merge pull request #474 from ubports/porting_intro_redir

add missing redirect for porting/introduction
ubports · Dec 1, 2021 · 1c06740 · 1c06740
2 parents 978c16f + e683818
commit 1c06740
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/redirects.txt b/redirects.txt
@@ -1,4 +1,5 @@
 "porting/index.rst" "porting/introduction/index.rst"
+"porting/introduction.rst" "porting/introduction/index.rst"
 "porting/halium_7-1/index.rst" "porting/introduction/index.rst"
 "porting/halium_7-1/Building.rst" "porting/build_and_boot/index.rst"
 "porting/halium_7-1/Common_errors.rst" "porting/build_and_boot/index.rst"