Export "docs" from platform manifest

platformio/commands/platform.py

@@ -85,6 +85,7 @@ def _get_installed_platform_data(platform,
         homepage=p.homepage,
         repository=p.repository_url,
         url=p.vendor_url,
+        docs=p.docs_url,
         license=p.license,
         forDesktop=not p.is_embedded(),
         frameworks=sorted(p.frameworks.keys() if p.frameworks else []),

platformio/managers/platform.py

@@ -493,6 +493,10 @@ class PlatformBase(  # pylint: disable=too-many-public-methods
     def vendor_url(self):
         return self._manifest.get("url")
 
+    @property
+    def docs_url(self):
+        return self._manifest.get("docs")
+
     @property
     def repository_url(self):
         return self._manifest.get("repository", {}).get("url")