diff --git a/platformio/commands/platform.py b/platformio/commands/platform.py index f6307be5..8ec1c259 100644 --- a/platformio/commands/platform.py +++ b/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 []), diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index b77c0080..7148122d 100644 --- a/platformio/managers/platform.py +++ b/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")