F5/unison
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

doc: Update menu headers to include Installation guide

Browse Source
This commit is contained in:
Tom Henderson
2023-03-19 12:09:34 -07:00
parent e96d1e0fac
commit 8a31ae62a2
3 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
doc/ns3_html_theme/layout.html
View File

@@ -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/>

2
doc/ns3_html_theme/ns3_doxy_header.html
View File

@@ -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"

2
doc/ns3_html_theme/static/ns3_links.js
View File

@@ -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;