#!/bin/sh
# Initial definition.  For the moment only makes .tfm files.
mktextfm $*