#!/bin/sh -e exec texi2dvi --pdf "$@"