#!/bin/sh
# $Id: pdftexi2dvi,v 1.3 2007/07/05 15:22:26 karl Exp $
# Written by Thomas Esser.  Public domain.
# Execute texi2dvi --pdf.

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

texi2dvi --pdf ${1+"$@"}
