From c7e002558b654040147a39e5f32a2bc2444c3dfa Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Thu, 2 Mar 2023 19:29:30 -0800
Subject: [PATCH] doc: Add installation guide menu item

---
 doc/ns3_html_theme/ns3_doxy_header.html | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/doc/ns3_html_theme/ns3_doxy_header.html b/doc/ns3_html_theme/ns3_doxy_header.html
index fe5c1849d..75afc8243 100644
--- a/doc/ns3_html_theme/ns3_doxy_header.html
+++ b/doc/ns3_html_theme/ns3_doxy_header.html
@@ -33,7 +33,7 @@ $extrastylesheet
           <tr style="height: 56px;">
             <td id="projectlogo">
               <a id="ns3_home1"
-		 href="http://www.nsnam.org/">
+		 href="https://www.nsnam.org/">
 		<img alt="ns-3 Logo"
                      src="$relpath$$projectlogo"/>
               </a>
@@ -48,7 +48,7 @@ $extrastylesheet
                 <ul >
                   <li style="background-image:none">
                     <a id="ns3_home2"
-                         href="http://www.nsnam.org/"
+                         href="https://www.nsnam.org/"
                          >&nbsp;&nbsp;Home</a>
                   </li>
                   <li><span
@@ -70,6 +70,9 @@ $extrastylesheet
                       <div id="mDocs"
                           onmouseover="mcancelclosetime()"
                           onmouseout="mclosetime()">
+                        <a id="ns3_man"
+                           href="/docs/installation/html/index.html"
+                           >Installation</a><br/>
                         <a id="ns3_man"
                            href="/docs/manual/html/index.html"
                            >Manual</a><br/>
@@ -80,7 +83,7 @@ $extrastylesheet
                            href="/docs/contributing/html/index.html"
                            >Contributing</a><br/>
                         <a id="ns3_wiki"
-                           href="http://www.nsnam.org/wiki"
+                           href="https://www.nsnam.org/wiki"
                            >Wiki</a><br/>
                       </div>
                   </li>