--- a/doc/doxygen.conf	Mon Jul 30 17:27:24 2012 -0700
+++ b/doc/doxygen.conf	Tue Jul 31 11:18:23 2012 -0700
@@ -956,6 +956,7 @@
                          doc/ns3_html_theme/static/favicon.ico \
                          doc/ns3_html_theme/static/menu-bgr-400.png \
                          doc/ns3_html_theme/static/ns3_version.js \
+                         doc/ns3_html_theme/static/ns3_links.js \
                          doc/ns3_html_theme/static/ver.png
 
 # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output.