Export: fix link in gettingstarted

0xc0170 · adbridge · commit 9b439f26a7d8 · 2017-12-13T10:15:06.000Z
diff --git a/tools/export/GettingStarted.html b/tools/export/GettingStarted.html
@@ -3,9 +3,9 @@
     <head>
         <meta charset="UTF-8">
         <meta http-equiv="refresh"
-              content="1;url="https://os.mbed.com/docs/v5.6/tools/exporting.html>
+              content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html>
         <script type="text/javascript">
-            window.location.href = "https://os.mbed.com/docs/v5.6/tools/exporting.html/"
+            window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html"
         </script>
         <title>Page Redirection</title>
     </head>
