diff --git a/docs b/docs
index 1fb1c9e5..2d428c47 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 1fb1c9e5673dcb36ba26199601b1d2a2c148c1a8
+Subproject commit 2d428c472c75c73ca8584560590dca48cefb40f5
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index cbd71352..5cadbea5 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -626,7 +626,6 @@ def update_embedded_board(rst_path, board):
     lines.append("=" * len(board['name']))
     lines.append("""
 .. contents::
-    :local:
 
 Platform :ref:`platform_%s`: %s""" % (platform.name, platform.description))