--- a/doc/doxygen.conf	Sun Jul 29 21:07:16 2012 -0700
+++ b/doc/doxygen.conf	Wed Jul 18 13:39:20 2012 -0700
@@ -952,7 +952,10 @@
 
 HTML_EXTRA_FILES       = doc/ns3_html_theme/static/doxygen.css \
                          doc/ns3_html_theme/static/bar-top.png \
-                         doc/ns3_html_theme/static/favicon.ico
+                         doc/ns3_html_theme/static/favicon.ico \
+                         doc/ns3_html_theme/static/drop-down-menu.js \
+                         doc/ns3_html_theme/static/menu-bgr-400.png \
+                         doc/ns3_html_theme/static/ver.png
 
 # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output.
 # Doxygen will adjust the colors in the style sheet and background images