Add trang.sh to convert from RNG to RNC from http://www.w3.org/MarkUp/Forms/wiki/Trang.sh
authorklotz
Thu, 19 Apr 2012 10:40:57 -0700
changeset 6 db323dd24b22
parent 5 99f377758629
child 7 1f1c49a50c09
Add trang.sh to convert from RNG to RNC from http://www.w3.org/MarkUp/Forms/wiki/Trang.sh
2.0/core/schema/utilities/trang.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2.0/core/schema/utilities/trang.sh	Thu Apr 19 10:40:57 2012 -0700
@@ -0,0 +1,25 @@
+#!/bin/sh
+TRANG=lib/trang.jar
+
+if [ ! -e $TRANG ] ;
+then
+  echo "Missing $TRANG"
+  exit -1
+fi
+
+# convert RNC to RNG
+for RNC in *.rnc
+do
+RNG=`echo $RNC | sed -e 's/\.rnc$/\.rng/'`
+echo java -jar $TRANG -I rnc -O rng $RNC $RNG
+done
+
+# delete any RNG files copied from elsewhere by trang
+for RNG in *.rng
+do
+RNC=`echo $RNG | sed -e 's/\.rng$/\.rnc/'`
+if [ ! -e $RNC ] ;
+then
+  rm $RNG
+fi
+done