From b131dc1e132fecf485b987c9954e511431dcbd90 Mon Sep 17 00:00:00 2001
From: Marc Bonnici <marc.bonnici@arm.com>
Date: Thu, 6 Apr 2017 16:12:54 +0100
Subject: [PATCH] Docs: Removed duplicate 'Platform' entry.

---
 doc/index.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/index.rst b/doc/index.rst
index 7d99f7b..2c6d72f 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -21,7 +21,6 @@ Contents:
    instrumentation
    platform
    connection
-   platform
 
 Indices and tables
 ==================