[gazebo] 03/04: Remove already merged patch

[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 81c5e6bfb5352e23bcc3ce14b0ee61af4f6f131c
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Feb 2 17:53:22 2015 +0000

    Remove already merged patch
---
 debian/patches/0006-do-not-generate-pdf.patch | 17 -----------------
 debian/patches/series                         |  1 -
 2 files changed, 18 deletions(-)

diff --git a/debian/patches/0006-do-not-generate-pdf.patch b/debian/patches/0006-do-not-generate-pdf.patch
deleted file mode 100644
index 168c5e4..0000000
--- a/debian/patches/0006-do-not-generate-pdf.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-Description: PDF generation is broken
-Author: Jose Luis Rivero <jrivero at osrfoundation.org>
-Bug: https://bitbucket.org/osrf/gazebo/issue/1141
-Forwarded: not-needed
-
---- gazebo-3.0.0.orig/doc/CMakeLists.txt
-+++ gazebo-3.0.0/doc/CMakeLists.txt
-@@ -16,9 +16,6 @@ if (DOXYGEN_FOUND)
-             ${CMAKE_BINARY_DIR}/doxygen/html
-     COMMAND cp ${CMAKE_SOURCE_DIR}/doc/search.js
-             ${CMAKE_BINARY_DIR}/doxygen/html/search
--    COMMAND make -C ${CMAKE_BINARY_DIR}/doxygen/latex
--    COMMAND mv ${CMAKE_BINARY_DIR}/doxygen/latex/refman.pdf
--            ${CMAKE_BINARY_DIR}/doxygen/latex/gazebo-${GAZEBO_VERSION_FULL}.pdf
- 
-     # Generate the messages documentation
-     COMMAND doxygen ${CMAKE_BINARY_DIR}/gazebo_messages.dox
diff --git a/debian/patches/series b/debian/patches/series
index 15790fc..ca0d772 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 0003-respect-cmake-c-flags.patch
 0005-fix-problems-on-manpage.patch
-0006-do-not-generate-pdf.patch
 0008-arial-font-removed-in-dfsg.patch

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