From f7053928f0a7d3d65385e80e1f99b513364e4345 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Tue, 15 May 2018 17:22:03 -0700
Subject: [PATCH] Better explanation how to switch between stable/upstream
 dev/platforms

---
 docs                  | 2 +-
 scripts/docspregen.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs b/docs
index 17698be3..670dad7c 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 17698be3cdb1e5493ea7dfd201664a00d46320ca
+Subproject commit 670dad7cf4330330276ec2b349ceb9cca6a1b0d7
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index 9d1c2371..e18bb832 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -302,7 +302,7 @@ Stable and upstream versions
 
 You can switch between `stable releases <https://github.com/platformio/platform-{name}/releases>`__
 of {title} development platform and the latest upstream version using
-:ref:`projectconf_env_platform` option as described below:
+:ref:`projectconf_env_platform` option in :ref:`projectconf` as described below:
 
 .. code-block:: ini