From 048cf15dded88409ce9fe7d6e4d26616231313df Mon Sep 17 00:00:00 2001
From: Adam Di Carlo <adicarlo@users.sourceforge.net>
Date: Mon, 17 Feb 2003 22:09:02 +0000
Subject: [PATCH] set -V<backend>-backend if appropriate

---
 cvstools/runjade | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/cvstools/runjade b/cvstools/runjade
index 58b9049c9..0f1d18d65 100755
--- 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
-- 
2.40.0