[python-rosdep/f18] Added missing patch

rmattes rmattes at fedoraproject.org
Tue Mar 19 02:18:53 UTC 2013


commit 14e4c85ee09cedc7e44ecc9c49c520ede84c921c
Author: Rich Mattes <richmattes at gmail.com>
Date:   Mon Mar 18 21:57:24 2013 -0400

    Added missing patch

 rosdep-0.10.14-catkinsphinx.patch |   25 +++++++++++++++++++++++++
 1 files changed, 25 insertions(+), 0 deletions(-)
---
diff --git a/rosdep-0.10.14-catkinsphinx.patch b/rosdep-0.10.14-catkinsphinx.patch
new file mode 100644
index 0000000..69526bd
--- /dev/null
+++ b/rosdep-0.10.14-catkinsphinx.patch
@@ -0,0 +1,25 @@
+diff -up ./doc/conf.py.catkinsphinx ./doc/conf.py
+--- ./doc/conf.py.catkinsphinx	2013-03-18 21:46:34.214730022 -0400
++++ ./doc/conf.py	2013-03-18 21:46:49.177270617 -0400
+@@ -16,7 +16,7 @@ import sys, os
+ import sys
+ sys.path.insert(0, '../src')
+ 
+-import catkin_sphinx
++#import catkin_sphinx
+ from rosdep2 import __version__
+ 
+ # If extensions (or modules to document with autodoc) are in another directory,
+@@ -97,9 +97,9 @@ pygments_style = 'sphinx'
+ 
+ # The theme to use for HTML and HTML Help pages.  See the documentation for
+ # a list of builtin themes.
+-html_theme_path = [os.path.join(os.path.dirname(catkin_sphinx.__file__), 'theme')]
+-html_theme = 'ros-theme'
+-html_logo = 'ros.png'
++#html_theme_path = [os.path.join(os.path.dirname(catkin_sphinx.__file__), 'theme')]
++#html_theme = 'ros-theme'
++#html_logo = 'ros.png'
+ 
+ # 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


More information about the scm-commits mailing list