#!/bin/sh
gnu0=`attach -p gnu`
gnu=${gnu0-/mit/gnu}
gnubin0=`athdir $gnu bin`
gnubin=${gnubin0-/mit/gnu/bin}

PATH=$PATH:$gnubin
export PATH
exec xdvi.real "$@"