[project @ 2002-07-01 12:31:21 by simonmar]

[ghc-hetmet.git] / ghc / docs / set / Makefile

diff --git a/ghc/docs/set/Makefile b/ghc/docs/set/Makefile
deleted file mode 100644 (file)
index b1a5510..0000000
--- a/ghc/docs/set/Makefile
+++ /dev/null
@@ -1,13 +0,0 @@
-#-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.3 2001/10/23 14:46:25 rrt Exp $
-#
-# (c) The GHC Team, 2000
-#
-
-TOP = ../..
-include $(TOP)/mk/boilerplate.mk
-
-SGML_DOC = set
-INSTALL_SGML_DOC = set
-
-include $(TOP)/mk/target.mk