[robot-player] 03/08: Patch to keep lintian happy with robot-player-doc
Jose Luis Rivero
jrivero-guest at moszumanska.debian.org
Sun Nov 15 00:26:59 UTC 2015
This is an automated email from the git hooks/post-receive script.
jrivero-guest pushed a commit to branch master
in repository robot-player.
commit 6bc0fe4a5c89a579c3e238de30b620396c5bb735
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date: Sat Nov 14 23:23:09 2015 +0000
Patch to keep lintian happy with robot-player-doc
---
debian/patches/0012-clean-html-doc.patch | 39 ++++++++++++++++++++++++++++++++
debian/patches/series | 1 +
2 files changed, 40 insertions(+)
diff --git a/debian/patches/0012-clean-html-doc.patch b/debian/patches/0012-clean-html-doc.patch
new file mode 100644
index 0000000..77f6889
--- /dev/null
+++ b/debian/patches/0012-clean-html-doc.patch
@@ -0,0 +1,39 @@
+From: Jose Luis Rivero <jrivero at osrfoundation.org>
+Date: Fri, 15 Nov 2015 00:21:00 -0600
+Subject: clean html to keep lintian happy
+
+diff --git a/doc/footer.html b/doc/footer.html
+index 2988aa7..fd93dcf 100644
+--- a/doc/footer.html
++++ b/doc/footer.html
+@@ -8,18 +8,6 @@
+ <tr>
+ <td style="text-align:left;">
+ Last updated 12 September 2005 21:38:45
+-<!--
+-<td style="text-align:right;">
+-<a href="http://validator.w3.org/check/referer"><img style="vertical-align:middle;border:0;width:88px;height:31px"
+- src="http://www.w3.org/Icons/valid-html401"
+- alt="Valid HTML 4.01!"></a>
+-
+- <a href="http://jigsaw.w3.org/css-validator/">
+- <img style="vertical-align:middle;border:0;width:88px;height:31px"
+- src="http://jigsaw.w3.org/css-validator/images/vcss"
+- alt="Valid CSS!">
+- </a>
+--->
+ </tr>
+ </table>
+ </div>
+diff --git a/doc/header.html b/doc/header.html
+index f8dd16b..7bda1b0 100644
+--- a/doc/header.html
++++ b/doc/header.html
+@@ -148,7 +148,6 @@ div.topbar { position: absolute; top:0px; left:9em; margin:1em; }
+ </div>
+
+ <div class=box>
+-<!-- <a href="http://sourceforge.net"><img border=0 src="http://sourceforge.net/sflogo.php?group_id=42445&type=1"></a> -->
+ <div class="title">Online</div>
+ <a href="http://playerstage.sourceforge.net">Homepage</a><br>
+ <a href="http://sourceforge.net/project/showfiles.php?group_id=42445">Download</a><br>
diff --git a/debian/patches/series b/debian/patches/series
index 58f5ab3..9a729d1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -10,3 +10,4 @@
boost1.54
0010-fix-ftbfs-libstatgrab0.90.patch
0011-unresolved-symbols-so.diff
+0012-clean-html-doc.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/robot-player.git
More information about the debian-science-commits
mailing list