adds redirects for docs

1 files changed, 12 insertions, 0 deletions

diff --git a/docs/redirects.json b/docs/redirects.json
new file mode 100644
index 0000000000..e4b1259e76
--- /dev/null
+++ b/docs/redirects.json
@@ -0,0 +1,12 @@
+{
+    "redirects": [
+            {
+                "from": "build_environment_setup.html",
+                "to": "getting_started_build_tools.html"
+            },
+            {
+                "from": "make_instructions.html",
+                "to": "getting_started_make_guide.html"
+            },
+        ]
+}
\ No newline at end of file