diff options
-rwxr-xr-x | bin/dtd2scala | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/bin/dtd2scala b/bin/dtd2scala deleted file mode 100755 index 1c32373be8..0000000000 --- a/bin/dtd2scala +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh - -SOURCE="$0"; -while [ -h "$SOURCE" ]; do - SCRIPT="`basename $SOURCE`"; - LOOKUP="`ls -ld "$SOURCE"`"; - TARGET="`expr "$LOOKUP" : '.*-> \(.*\)$'`"; - if expr "${TARGET:-.}/" : '/.*/$' > /dev/null; then - SOURCE="${TARGET:-.}"; - else - SOURCE="`dirname "$SOURCE"`/${TARGET:-.}"; - fi; -done; -PREFIX="`dirname "$SOURCE"`/.."; -PREFIX="`cd "$PREFIX"; pwd`"; - -SCALA_CLASSES="$PREFIX/classes"; -LIBDIR="$PREFIX/lib"; - -JAVA_CLASSPATH="$LIBDIR/xercesImpl.jar:$SCALA_CLASSES" - -exec java -classpath $JAVA_CLASSPATH scala.xml.dtd2scala $@ |