From fdc0680174272169bcb4ca67fef3607260a3bc25 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 2 Jul 2002 13:56:22 +0000
Subject: [PATCH] [project @ 2002-07-02 13:56:22 by simonmar] Remove
 $(GhcBinDistDocs), this will be done differently

---
 ghc/mk/config.mk |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ghc/mk/config.mk b/ghc/mk/config.mk
index 7b2f2a5..7b85988 100644
--- a/ghc/mk/config.mk
+++ b/ghc/mk/config.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: config.mk,v 1.17 2002/02/27 11:18:30 simonmar Exp $
+# $Id: config.mk,v 1.18 2002/07/02 13:56:22 simonmar Exp $
 #
 # GHC project configuration
 #
@@ -10,7 +10,6 @@
 # what to include in a binary distribution
 GhcMainDir = ghc
 GhcBinDistDirs = ghc libraries hslibs
-GhcBinDistDocs = ghc/docs/set
 ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
 GhcBinDistShScripts = ghc-$(ProjectVersion) ghci-$(ProjectVersion) ghc-pkg-$(ProjectVersion)
 else
-- 
1.7.10.4