#!/bin/sh
ptex -fmt=jadeptex -progname=jadetex $*
