diff --git a/docs b/docs
index 19c1155b..a85f7c4b 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 19c1155b6a270fc40408a7d32212c24b0cb7edc4
+Subproject commit a85f7c4b79f2045046de69f495930479217bdcc3
diff --git a/examples b/examples
index d4cc2c65..6e5d42b6 160000
--- a/examples
+++ b/examples
@@ -1 +1 @@
-Subproject commit d4cc2c651d95bd6149fa2cabefd201194305e48e
+Subproject commit 6e5d42b63d02b4076b2eb2e6ec54f6c4c7e5d019
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index bfcf814b..ede5d7ef 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -286,7 +286,7 @@ def generate_platform(name, rst_dir):
     print "Processing platform: %s" % name
 
     compatible_boards = [
-        board for board in BOARDS if name in board['platform']
+        board for board in BOARDS if name == board['platform']
     ]
 
     lines = []