Minor tweak to docs

2018-10-04 01:51:21 +03:00
1 parent 0a7d6fb814
commit 59a3a7dd55
@@ -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))