#!/bin/sh

# hack around a bug in zsh:
test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"'

tex -progname=fontinst \&tex ${1+"$@"}
