+++ /dev/null
-#-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.1 2001/03/01 15:36:20 simonmar Exp $
-
-TOP = ..
-include $(TOP)/mk/boilerplate.mk
-
-SUBDIRS=$(wildcard prog*/)
-
-include $(TOP)/mk/ghci.mk