#!/bin/sh
java javaTeX.initex $*

