Merge pull request #970 from theotherjimmy/supported-ides-command

Correct command line for listing supported exporters

Author: Amanda Butler

docs/tools/toolchains/export_to_third_party.md

@@ -57,7 +57,7 @@ has the same flags as if you had compiled with:
 
 For a complete list of supported export toolchains, you can run:
 
-    $ mbed export -h
+    $ mbed export --supported ides
 
 ### Before you export