#!/bin/sh

prefix=/usr
exec_prefix=${prefix}
bindir=${exec_prefix}/bin

exec ${bindir}/dvi2misc -dvi2bdps $*

