#!/bin/sh -e

exec texi2dvi --pdf "$@"
