#!/bin/sh
exec /usr/bin/texi2dvi "$@"
