From c3b7620abadaeae13a79db893358b524981e2a5b Mon Sep 17 00:00:00 2001
From: "Peter D. Barnes, Jr." <barnes26@llnl.gov>
Date: Tue, 31 Jul 2012 15:54:49 -0700
Subject: [PATCH] Rewrite html menu links for single/multi-page html views.

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

diff --git a/doc/ns3_html_theme/layout.html b/doc/ns3_html_theme/layout.html
index ad2303ac0..a76af11d8 100644
--- a/doc/ns3_html_theme/layout.html
+++ b/doc/ns3_html_theme/layout.html
@@ -25,6 +25,7 @@
 
   <script type="text/javascript" src="_static/drop-down-menu.js"></script>
   <script type="text/javascript" src="_static/ns3_version.js"></script>
+  <script type="text/javascript">var ns3_builder="{{builder}}";</script>
   <script type="text/javascript" src="_static/ns3_links.js"></script>
       
 {% endblock %}
diff --git a/doc/ns3_html_theme/static/ns3_links.js b/doc/ns3_html_theme/static/ns3_links.js
index 2a656d940..0cd4e6fec 100644
--- a/doc/ns3_html_theme/static/ns3_links.js
+++ b/doc/ns3_html_theme/static/ns3_links.js
@@ -24,7 +24,14 @@ var ns3_index = "index.html";
 var ns3_rel  = ns3_host + ns3_release;
 var ns3_api  = ns3_rel  + ns3_doxy          + ns3_index;
 
-ns3_index = ns3_local + "html/" + ns3_index;
+// The Sphinx layout template defines
+//    var ns3_builder = "html", or "singlehtml"
+// so we can condition the links on single/multi-page view.
+if ( (typeof ns3_builder != 'undefined') && (ns3_builder == "singlehtml") ) {
+  ns3_index = ns3_local + "singlehtml/" + ns3_index;
+ } else {
+  ns3_index = ns3_local + "html/" + ns3_index;
+ }
 
 var ns3_man  = ns3_rel  + "manual/"         + ns3_index;
 var ns3_mod  = ns3_rel  + "models/"         + ns3_index;