--- a/doc/ns3_html_theme/static/ns3_links.js	Tue Jul 31 20:00:52 2012 -0700
+++ b/doc/ns3_html_theme/static/ns3_links.js	Tue Jul 31 20:20:03 2012 -0700
@@ -27,11 +27,16 @@
 // 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;
- }
+if (typeof ns3_builder != 'undefined') {
+  if (ns3_builder == "singlehtml") {
+    ns3_index = ns3_local + "singlehtml/" + ns3_index;
+  } else {
+    ns3_index = ns3_local + "html/" + 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;