[gazebo] 01/03: Add patch to workaround the problem with doxygen
Jose Luis Rivero
jrivero-guest at moszumanska.debian.org
Mon Jun 30 14:26:12 UTC 2014
This is an automated email from the git hooks/post-receive script.
jrivero-guest pushed a commit to branch master
in repository gazebo.
commit 635203e324c798a5b66a67a858934c9d2998714a
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date: Sat Jun 28 16:01:33 2014 +0000
Add patch to workaround the problem with doxygen
---
debian/patches/0006-do-not-generate-pdf.patch | 17 +++++++++++++++++
debian/patches/series | 1 +
2 files changed, 18 insertions(+)
diff --git a/debian/patches/0006-do-not-generate-pdf.patch b/debian/patches/0006-do-not-generate-pdf.patch
new file mode 100644
index 0000000..168c5e4
--- /dev/null
+++ b/debian/patches/0006-do-not-generate-pdf.patch
@@ -0,0 +1,17 @@
+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 82b7ba2..fa37b62 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@
0003-respect-cmake-c-flags.patch
0004-visibility-skyx.patch
0005-fix-problems-on-manpage.patch
+0006-do-not-generate-pdf.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git
More information about the debian-science-commits
mailing list