[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