Merge pull request #1122 from ARMmbed/development-fix-redirects

Development fix redirects

Author: muchzill4

.circleci/config.yml

@@ -39,6 +39,12 @@ jobs:
       - checkout
       - setup_aws_credentials
       - write_env_variables
+      - run:
+          name: Validate redirects
+          command: |
+            if [ -f "$HOME/project/redirects.json" ]; then
+              python -mjson.tool "$HOME/project/redirects.json" > /dev/null
+            fi
       - run:
           name: Validate and build documentation
           command: |

redirects.json

@@ -1,9 +1,9 @@
 {
-  "reference/mesh-tech.html" : "/reference/6LoWPAN-ND-tech.html"
-  "tools/windows.html" : "tools/installation-and-setup.html"
-  "tools/macos.html" : "tools/installation-and-setup.html"
-  "tools/linux.html" : "tools/manual-installation.html"
-  "tools/after-installation-configuring-mbed-cli.html" : "tools/manual-installation.html"
-  "tools/reference-working-with-mbed-config.html" : "tools/configuration-options.html"
+  "reference/mesh-tech.html" : "/reference/6LoWPAN-ND-tech.html",
+  "tools/windows.html" : "tools/installation-and-setup.html",
+  "tools/macos.html" : "tools/installation-and-setup.html",
+  "tools/linux.html" : "tools/manual-installation.html",
+  "tools/after-installation-configuring-mbed-cli.html" : "tools/manual-installation.html",
+  "tools/reference-working-with-mbed-config.html" : "tools/configuration-options.html",
   "tutorials/mbed-usb-wav-audio-player.html" : "tutorials/usb-wav-audio-player.html"
 }