#!/bin/sh DIR=`dirname $0` $DIR/texml.py "$@"