added patch forgotten in last commit:
This commit is contained in:
parent
f0775fec13
commit
c10f1c7007
11
xmlto-backendstylesheet.patch
Normal file
11
xmlto-backendstylesheet.patch
Normal file
@ -0,0 +1,11 @@
|
||||
diff -urNp xmlto-0.0.20-orig/xmlto.in xmlto-0.0.20/xmlto.in
|
||||
--- xmlto-0.0.20-orig/xmlto.in 2008-01-17 10:39:02.000000000 +0100
|
||||
+++ xmlto-0.0.20/xmlto.in 2008-05-13 12:08:35.000000000 +0200
|
||||
@@ -326,6 +326,7 @@ fi
|
||||
# Ask the format script what stylesheet to use.
|
||||
XSLT_PROCESSOR=xsltproc # We only know about xsltproc right now.
|
||||
export XSLT_PROCESSOR
|
||||
+export USE_BACKEND
|
||||
if [ -z "$STYLESHEET" ]
|
||||
then
|
||||
STYLESHEET="$(${BASH} "$FORMAT" stylesheet)" || exit 1
|
Loading…
Reference in New Issue
Block a user