diff -up ./doc/conf.py.catkinsphinx ./doc/conf.py
--- ./doc/conf.py.catkinsphinx	2012-06-13 18:08:58.000000000 -0400
+++ ./doc/conf.py	2013-03-20 21:53:41.140973622 -0400
@@ -18,8 +18,7 @@ import sys, os, subprocess
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 extensions = ['sphinx.ext.ifconfig', 'sphinx.ext.todo', 'sphinx.ext.graphviz',
-              'sphinx.ext.intersphinx',
-              'catkin_sphinx.ShLexer', 'catkin_sphinx.cmake']
+              'sphinx.ext.intersphinx']
 todo_include_todos = True
 
 # Add any paths that contain templates here, relative to this directory.
@@ -107,7 +106,7 @@ html_theme_path = [os.path.join(os.path.
 
 # The theme to use for HTML and HTML Help pages.  Major themes that come with
 # Sphinx are currently 'default' and 'sphinxdoc'.
-html_theme = 'ros-theme'
+#html_theme = 'ros-theme'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the