[uw.mfcf.bugs] What is /usr/source/batch/xx? - don't leave junk around

jmsellens@watmath.waterloo.edu (09/30/89)

From: John M Sellens <jmsellens>

	-if [ -s "/etc/aliases" ]; then\
		if egrep "^batch:" /etc/aliases > /dev/null ; then true; else\
			@echo "Mail alias \"batch\" must be setup.";\
		fi;\
	else\
		if [ -s "/usr/lib/aliases" ]; then\
			if egrep "^batch:" /usr/lib/aliases > /dev/null ; then true; else\
				echo "Mail alias \"batch\" must be setup.";\
			fi;\
		fi;\
	fi