#! /bin/sh
if (grep MENTOR $HOME/.Xdefaults) 
# returns 0 if match
then 
	echo "found MENTOR Xdefaults";
else 
	echo "installing MENTOR Xdefaults";
	cat /mit/visual/tools/mentor/MENTOR.Xdefaults >> $HOME/.Xdefaults
fi