From 0b32619daa12d036f61654375c3b0bfb5f338871 Mon Sep 17 00:00:00 2001
From: Jose Costa Teixeira <jose.a.teixeira@gmail.com>
Date: Tue, 15 Aug 2023 12:21:46 +0200
Subject: [PATCH] remove redundant menu

---
 input/includes/menu.xml | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 input/includes/menu.xml

diff --git a/input/includes/menu.xml b/input/includes/menu.xml
deleted file mode 100644
index 08a4f3e..0000000
--- a/input/includes/menu.xml
+++ /dev/null
@@ -1,36 +0,0 @@
-<ul
-	xmlns="http://www.w3.org/1999/xhtml" class="nav navbar-nav">
-	<li>
-		<a href="index.html">IG Home</a>
-	</li>
-	<li>
-		<a href="toc.html">Table of Contents</a>
-	</li>
-<!--
-	<li class="dropdown">
-		<a data-toggle="dropdown" href="#" class="dropdown-toggle">Background<b class="caret"></b>
-		</a>
-
-	</li>
-	<li class="dropdown">
-		<a data-toggle="dropdown" href="#" class="dropdown-toggle">Functional Description<b class="caret"></b>
-		</a>
-
-	</li>
--->
-	<li class="dropdown">
-		<a data-toggle="dropdown" href="#" class="dropdown-toggle">Specifications<b class="caret"></b>
-		</a>
-		<ul class="dropdown-menu">
-			<li>
-				<a href="artifacts.html">Artifact Index</a>
-			</li>
-		</ul>
-	</li>
-	<li class="dropdown">
-		<a data-toggle="dropdown" href="#" class="dropdown-toggle">Implementation<b class="caret"></b></a>
-		<ul class="dropdown-menu">
-			<li><a href="downloads.html">Downloads</a></li>
-		</ul>
-	</li>
-</ul>      
\ No newline at end of file