From 8a31ae62a2cffbec706d50fc7e40bdf0fea08c60 Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Sun, 19 Mar 2023 12:09:34 -0700
Subject: [PATCH] doc: Update menu headers to include Installation guide

---
 doc/ns3_html_theme/layout.html          | 3 +++
 doc/ns3_html_theme/ns3_doxy_header.html | 2 +-
 doc/ns3_html_theme/static/ns3_links.js  | 2 ++
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/ns3_html_theme/layout.html b/doc/ns3_html_theme/layout.html
index f167dda17..0140ac840 100644
--- a/doc/ns3_html_theme/layout.html
+++ b/doc/ns3_html_theme/layout.html
@@ -74,6 +74,9 @@
                       <div id="mDocs"
                           onmouseover="mcancelclosetime()"
                           onmouseout="mclosetime()">
+                        <a id="ns3_ins"
+                           href="/docs/installation/html/index.html"
+                           >Installation</a><br/>
                         <a id="ns3_man"
                            href="/docs/manual/html/index.html"
                            >Manual</a><br/>
diff --git a/doc/ns3_html_theme/ns3_doxy_header.html b/doc/ns3_html_theme/ns3_doxy_header.html
index 75afc8243..8617f677d 100644
--- a/doc/ns3_html_theme/ns3_doxy_header.html
+++ b/doc/ns3_html_theme/ns3_doxy_header.html
@@ -70,7 +70,7 @@ $extrastylesheet
                       <div id="mDocs"
                           onmouseover="mcancelclosetime()"
                           onmouseout="mclosetime()">
-                        <a id="ns3_man"
+                        <a id="ns3_ins"
                            href="/docs/installation/html/index.html"
                            >Installation</a><br/>
                         <a id="ns3_man"
diff --git a/doc/ns3_html_theme/static/ns3_links.js b/doc/ns3_html_theme/static/ns3_links.js
index 974c480f3..ef58a3755 100644
--- a/doc/ns3_html_theme/static/ns3_links.js
+++ b/doc/ns3_html_theme/static/ns3_links.js
@@ -44,6 +44,7 @@ var ns3_man  = ns3_rel  + "manual/"         + ns3_index;
 var ns3_mod  = ns3_rel  + "models/"         + ns3_index;
 var ns3_tut  = ns3_rel  + "tutorial/"       + ns3_index;
 var ns3_con  = ns3_rel  + "contributing/"   + ns3_index;
+var ns3_con  = ns3_rel  + "installation/"   + ns3_index;
 
 function ns3_write_links() {
   document.getElementById("ns3_home1").href = ns3_home;
@@ -52,6 +53,7 @@ function ns3_write_links() {
   document.getElementById("ns3_man"  ).href = ns3_man;
   document.getElementById("ns3_mod"  ).href = ns3_mod;
   document.getElementById("ns3_con"  ).href = ns3_con;
+  document.getElementById("ns3_ins"  ).href = ns3_ins;
   document.getElementById("ns3_wiki" ).href = ns3_wiki;
   document.getElementById("ns3_api"  ).href = ns3_api;
   document.getElementById("ns3_bugs" ).href = ns3_bugs;