#!/bin/sh

TEX=pdftex; export TEX
texi2dvi ${1+"$@"}