set -V<backend>-backend if appropriate

diff --git a/cvstools/runjade b/cvstools/runjade
index 58b9049c968bb4b363da6d021d64175b2b615f52..0f1d18d65af1457e692e233d5b7703bd3bdb4581 100755 (executable)
--- a/cvstools/runjade
+++ b/cvstools/runjade
@@ -40,6 +40,11 @@ if [ -f /share/doctypes/catalog ]; then
     CATALOGS="$CATALOGS -c /share/doctypes/catalog"
 fi
 
+# set -V FORMAT-backend if appropriate
+if [ "$FORMAT" = rtf -o "$FORMAT" = tex -o "$FORMAT" = mif ]; then
+    BACKENDSET="-V $FORMAT-backend"
+fi
+
 # if jade && file is XML, add the XML catalog, set SP_ENCODING
 if [ `basename $JADE` = jade ] && [ ${SOURCE%.xml} != $SOURCE ]; then
   for file in /usr/share/sgml/declaration/xml.dcl \
@@ -54,5 +59,5 @@ if [ `basename $JADE` = jade ] && [ ${SOURCE%.xml} != $SOURCE ]; then
   export SP_ENCODING=xml
 fi
 
-echo $ENV $JADE -E5 $CATALOGS -t $FORMAT -d $DSSSL $* $DECL $SOURCE 1>&2
-exec $JADE -E5 $CATALOGS -t $FORMAT -d $DSSSL $* $DECL $SOURCE
+echo $ENV $JADE -E5 $CATALOGS -t $FORMAT -d $DSSSL $BACKENDSET $* $DECL $SOURCE 1>&2
+exec $JADE -E5 $CATALOGS -t $FORMAT -d $DSSSL $BACKENDSET $* $DECL $SOURCE