From a907dbeeda3b6156578714e5be94b159c0455a25 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 5 Sep 2000 09:40:08 +0000
Subject: [PATCH] [project @ 2000-09-05 09:40:08 by simonmar] Just include
 ghc/docs/set in a binary distribution, not the build system docs or the FFI
 spec.

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

diff --git a/ghc/mk/config.mk b/ghc/mk/config.mk
index 2f9ba8d3482b..024112645c6b 100644
--- a/ghc/mk/config.mk
+++ b/ghc/mk/config.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: config.mk,v 1.9 2000/08/02 15:39:11 simonmar Exp $
+# $Id: config.mk,v 1.10 2000/09/05 09:40:08 simonmar Exp $
 #
 # GHC project configuration
 #
@@ -10,7 +10,7 @@
 # what to include in a binary distribution
 GhcMainDir = ghc
 GhcBinDistDirs = ghc hslibs
-GhcBinDistDocs = docs ghc/docs/set
+GhcBinDistDocs = ghc/docs/set
 GhcBinDistPrlScripts = ghc-$(ProjectVersion)
 GhcBinDistLibPrlScripts = ghc-asm ghc-split ghc-stats
 GhcBinDistBins = hp2ps
-- 
GitLab