1 files changed, 34 insertions, 0 deletions
diff --git a/converters/pdf2djvu/files/patch-tools-xml2c b/converters/pdf2djvu/files/patch-tools-xml2c
new file mode 100644
index 000000000000..78ee244117cd
--- /dev/null
+++ b/converters/pdf2djvu/files/patch-tools-xml2c
@@ -0,0 +1,34 @@
+--- tools/xml2c.orig	2013-05-30 22:22:26.000000000 +0200
++++ tools/xml2c	2013-10-19 15:09:40.124205826 +0200
+@@ -1,16 +1,24 @@
+ #!/bin/sh
+ 
+-# Copyright © 2009 Jakub Wilk
++# Copyright © 2009, 2013 Jakub Wilk
+ #
+ # This package is free software; you can redistribute it and/or modify
+ # it under the terms of the GNU General Public License as published by
+ # the Free Software Foundation; version 2 dated June, 1991.
+ 
+-exec sed \
+-  -e '/<!--# *\(.*\) *#-->/ { s//\1/; b; }' \
+-  -e '/<!--.*-->/ { s///g; b; }' \
+-  -e 's/\\\\/\\\\/g' \
+-  -e 's/"/\\"/g' \
+-  -e 's/^/"/; s/$/\\n"/'
++exec sed -e '
++/<!--# *\(.*\) *#-->/ {
++  s//\1/
++  b
++}
++/<!--.*-->/ {
++  s///g
++  b
++}
++s/\\\\/\\\\/g
++s/"/\\"/g
++s/^/"/
++s/$/\\n"/
++'
+ 
+ # vim:ts=2 sw=2 et