
#
#	This command will remove portions of previously installed command set.
#

INSPATH=/install
RPATH=/install/install
GROUP=F77
PKGNAME=`cat ${INSPATH}/usr/options/${GROUP}.name`

if [ ! -f /usr/options/F77.name ]; then
	echo "The F77 package is not installed."
	exit
fi

echo "Removing the ${PKGNAME}."
echo "The following files are being removed:
"

for i in `cat ${RPATH}/Rlist`
do
	echo $i
	rm -f $i
done

if [ -f /install/install/unsetup ]; then
	/install/install/unsetup
fi

echo "The ${PKGNAME} has been removed."

