#!/bin/sh texmfstart texfont.pl "$@"