docs/redirects.json

   1 {
   2     "redirects": [
   3             {
   4                 "from": "build_environment_setup.html",
   5                 "to": "getting_started_build_tools.html"
   6             },
   7             {
   8                 "from": "make_instructions.html",
   9                 "to": "getting_started_make_guide.html"
  10             }
  11         ]
  12 }