#
# This directory only contains header files, so you might think it does
# not need a Makefile, but you would be wrong.  This Makefile checks out
# copies of the latest version of the header files.
#
# History
# -------
# $Log: Makefile,v $
# Revision 1.2  1997/05/08  17:06:18  dieter
# Removed refresh target.  It is now handled by griff's Makefile.refresh.
#
# Revision 1.1  1997/04/11  21:35:10  dieter
# Initial revision
#
#

HELPFILES= author.help halt.help hosts.help quit.help reset.help \
	tasks_kill.help tasks_otf.help tasks_signal.help tasks_spawn.help \
	tasks_systasks.help traces.help views_call_trace.help views_msgq.help \
	views_network.help views_space_time.help views_task_output.help \
	views_utilization.help xpvm.help
