docs/redirects.json


1
2
3
4
5
6
7
8
9
10
11
12

{
    "redirects": [
            {
                "from": "build_environment_setup.html",
                "to": "getting_started_build_tools.html"
            },
            {
                "from": "make_instructions.html",
                "to": "getting_started_make_guide.html"
            },
        ]
}