From d8145c846491c09fe7999871932cb4aa9725d1dd Mon Sep 17 00:00:00 2001
From: Jack Humbert <jack.humb@gmail.com>
Date: Sat, 19 Aug 2017 08:31:42 -0400
Subject: adds redirects for docs

---
 docs/redirects.json | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 docs/redirects.json

(limited to 'docs')

diff --git a/docs/redirects.json b/docs/redirects.json
new file mode 100644
index 000000000..e4b1259e7
--- /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
-- 
cgit v1.2.3-24-g4f1b