From 59a3a7dd5589449d33fc678b4fa626c1e0d755a5 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 4 Oct 2018 01:51:21 +0300
Subject: [PATCH] Minor tweak to docs

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

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))