##############################################################################
#    Instructions to Make, for compilation of MH papers
#
#	This file is automatically generated.  Do not edit!
##############################################################################

SHELL	=	/bin/sh

DIRS	=	bboards mh4 mh5 mh6.5 multifarious mznet realwork trusted \
		tutorial


##############################################################################
#	Miscellaneous tasks
##############################################################################


distribution:;	for d in $(DIRS); do (cd $$d; ${MAKE} ${MFLAGS} distribution); done

clean:;		for d in $(DIRS); do (cd $$d; ${MAKE} ${MFLAGS} clean); done

unclean:;	for d in $(DIRS); do (cd $$d; ${MAKE} ${MFLAGS} clean); done