adds redirects for docs

2017-08-19 08:31:42 -04:00
parent 81d7e7d4c8
commit d8145c8464
2 changed files with 18 additions and 1 deletions
--- a/docs/redirects.json
+++ 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"
+            },
+        ]
+}