#
# mm the ers to stdout.
#
if ls | grep "mm$" > /dev/null 2>&1
then
	echo mm files already exist in this directory. >&2
	echo can not proceed until directory is clean. >&2
	exit 1
fi
echo checking out all files >&2
co-ers >&2
echo putting the document together, and sending to stdout. >&2
mm ers.mm
echo document put together, cleaning up. >&2
rm -f *.mm >&2
echo done. >&2
