[gazebo] 08/08: Added a patch to install deprecated manpages

[Jose Luis Rivero]

This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository gazebo.

commit 554baa83183c0d2ec97d74d7f8e45d0c7df94c16
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jun 24 02:01:11 2014 +0000

    Added a patch to install deprecated manpages
---
 debian/patches/0002-install-deprecated-manpages.patch | 15 +++++++++++++++
 debian/patches/series                                 |  1 +
 2 files changed, 16 insertions(+)

diff --git a/debian/patches/0002-install-deprecated-manpages.patch b/debian/patches/0002-install-deprecated-manpages.patch
new file mode 100644
index 0000000..f16ae12
--- /dev/null
+++ b/debian/patches/0002-install-deprecated-manpages.patch
@@ -0,0 +1,15 @@
+Description: Fix comparison to install manpages
+Author: Jose Luis Rivero <jrivero at osrfoundation.org>
+Forwarded: https://bitbucket.org/osrf/gazebo/pull-request/1123
+
+--- gazebo-3.0.0.orig/tools/CMakeLists.txt
++++ gazebo-3.0.0/tools/CMakeLists.txt
+@@ -43,7 +43,7 @@ add_executable(gzfactory gzfactory.cc)
+ target_link_libraries(gzfactory gazebo_common gazebo_transport pthread)
+ gz_install_executable(gzfactory)
+ 
+-if (${GAZEBO_VERSION} VERSION_GREATER 3.0)
++if (${GAZEBO_VERSION} VERSION_LESS 4.0)
+   message (WARNING
+     "Installing deprecated manpages. This should be removed after Gazebo 3.0")
+   manpage(gzfactory 1)
diff --git a/debian/patches/series b/debian/patches/series
index 0ad2c48..cc41065 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-respect-linker-flags.patch
+0002-install-deprecated-manpages.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git