[project @ 2002-08-29 09:24:21 by simonmar]
[ghc-base.git] / doc / Makefile
diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644 (file)
index 34989b3..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-# $Id: Makefile,v 1.1 2001/07/05 10:38:33 simonmar Exp $
-
-TOP=../../..
-include $(TOP)/mk/boilerplate.mk
-SGML_DOC=libraries
-include $(TOP)/mk/target.mk