diff --git a/docs b/docs
index 9a201e94..3b33aded 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 9a201e94ae981e26203020e5767b44783701e2ec
+Subproject commit 3b33aded66470a9784744ec9448c2261b5bb540f
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index a9a96c7b..f895c25d 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -476,13 +476,11 @@ Stable
     ; Latest stable version
     [env:latest_stable]
     platform = {name}
-    board = ...
-
+    {board}
     ; Custom stable version
     [env:custom_stable]
     platform = {name}@x.y.z
-    board = ...
-
+    {board}
 Upstream
 ~~~~~~~~
 
@@ -490,9 +488,11 @@ Upstream
 
     [env:upstream_develop]
     platform = {github_url}.git
-    board = ...
-""".format(
-            name=p.name, title=p.title, github_url=github_url
+    {board}""".format(
+            name=p.name,
+            title=p.title,
+            github_url=github_url,
+            board="board = ...\n" if p.is_embedded() else "",
         )
     )