diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-08-19 08:31:42 -0400 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-08-19 08:31:54 -0400 |
| commit | d8145c846491c09fe7999871932cb4aa9725d1dd (patch) | |
| tree | dc0e84b3f3b1b381aea1511171f7cfa2401c3ca2 /docs | |
| parent | 81d7e7d4c8b99e032ce9423da56dba46f8bce18f (diff) | |
adds redirects for docs
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/redirects.json | 12 |
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 @@ | |||
| 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 | } \ No newline at end of file | ||