scripts/alt2xml.sh
changeset 51 d79b818c364b
parent 43 058c1c39251e
child 54 3d5cc308e268
     1.1 --- a/scripts/alt2xml.sh	Mon Jun 16 22:28:37 2014 +0200
     1.2 +++ b/scripts/alt2xml.sh	Mon Jun 16 22:29:02 2014 +0200
     1.3 @@ -17,6 +17,8 @@
     1.4  
     1.5  OUTPUT_PLUGINS=(
     1.6  	"$DIR/java/alt2xml-out-xml/dist/alt2xml-out-xml.jar"
     1.7 +	"$DIR/java/alt2xml-out-xpath/dist/alt2xml-out-xpath.jar"
     1.8 +	"$DIR/java/alt2xml-out-xslt/dist/alt2xml-out-xslt.jar"
     1.9  );
    1.10  
    1.11  for e in "${STANDARD_JARS[@]}" "${INPUT_PLUGINS[@]}" "${OUTPUT_PLUGINS[@]}"; do