diff options
Diffstat (limited to 'docbook-utils-w3mtxtconvert.patch')
| -rw-r--r-- | docbook-utils-w3mtxtconvert.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docbook-utils-w3mtxtconvert.patch b/docbook-utils-w3mtxtconvert.patch new file mode 100644 index 0000000..249af8e --- /dev/null +++ b/docbook-utils-w3mtxtconvert.patch @@ -0,0 +1,12 @@ +diff -urNp original/txt new/txt +--- original/backends/txt 2007-11-05 18:44:52.000000000 +0100 ++++ new/backends/txt 2007-11-22 15:21:36.000000000 +0100 +@@ -13,7 +13,7 @@ then + elif [ -x /usr/bin/w3m ] + then + CONVERT=/usr/bin/w3m +- ARGS="-dump" ++ ARGS="-T text/html -dump" + else + echo >&2 "No way to convert HTML to text found." + exit 1 |