diff --git a/tools/export/GettingStarted.html b/tools/export/GettingStarted.html
index e5d8f40524..9fce79ce03 100644
--- a/tools/export/GettingStarted.html
+++ b/tools/export/GettingStarted.html
@@ -3,14 +3,14 @@
+ content="1;url="https://os.mbed.com/docs/v5.6/tools/exporting.html>
Page Redirection
If you are not redirected automatically, please follow the
- link to the online exporter documentation
+ link to the online exporter documentation