#
DONE=0
-VERSION=65
+VERSION=651
DEBUG=0
JAR=0
#XARG=""
echo "Using jar file for extension classes"
shift;
;;
+ -651) VERSION=651;
+ shift;
+ ;;
-65) VERSION=65;
shift;
;;
fi
case $VERSION in
+ 651) SAXON="/usr/local/java/saxon-6.5.1/saxon.jar"
+ SAXON_DEBUG="/usr/local/java/saxon-6.5.1/.classes"
+ NDWEXT="/sourceforge/docbook/xsl/extensions/saxon643/.classes";
+ if [ "$JAR" = "1" ]; then
+ NDWEXT="/sourceforge/docbook/xsl/extensions/saxon643.jar"
+ fi
+ ;;
65) SAXON="/usr/local/java/saxon-6.5/saxon.jar"
SAXON_DEBUG="/usr/local/java/saxon-6.4.3/.classes"
NDWEXT="/sourceforge/docbook/xsl/extensions/saxon643/.classes";