my_conf="${my_conf} --with-xdvi-x-toolkit=xaw"
fi
else
my_conf="${my_conf} --without-xdvik --without-oxdvik"
my_conf="${my_conf} --without-xdvik --without-oxdvik --without-pdfopen"
econf --bindir=/usr/bin \