From 95473f10ebbc6b6a6302d490d59b52fbfafd0cfa Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 7 Sep 2004 09:00:02 +0000
Subject: [PATCH] [project @ 2004-09-07 09:00:02 by simonmar] We don't need
 this any more.

---
 Makefile.config |   23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 Makefile.config

diff --git a/Makefile.config b/Makefile.config
deleted file mode 100644
index f40e0ac..0000000
--- a/Makefile.config
+++ /dev/null
@@ -1,23 +0,0 @@
-# partain: probably not the right thing yet
-
-all: configure
-
-configure: configure.ac aclocal.m4
-	rm -f configure.new
-	autoconf configure.ac > configure.new \
-		|| ( rm -f configure.new; exit 1 )
-	rm -f configure
-	mv configure.new configure
-	chmod +x configure
-	if test -f config.status; then ./config.status --recheck; fi
-	rm -f configure.new
-
-CONFIG_H_IN = ghc/includes/config.h.in
-
-config.h.in: configure.ac
-	rm -f $(CONFIG_H_IN)
-	autoheader configure.ac > $(CONFIG_H_IN) \
-		|| ( rm -f $(CONFIG_H_IN); exit 1 )
-
-# do something about autoheader
-# do something about ghc-vs-nofib configure scripts
-- 
1.7.10.4