#!/bin/sh
textex \&`basename $0` "$@"