From 002669794c3616e04d862adbaadd3111da728509 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 7 Apr 2000 13:34:03 +0000
Subject: [PATCH] [project @ 2000-04-07 13:34:03 by simonmar] use ghc/docs/set
 instead of ghc/docs/users_guide and hslibs/doc

---
 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 1dcf973..449e365 100644
--- a/ghc/mk/config.mk
+++ b/ghc/mk/config.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: config.mk,v 1.6 2000/01/20 14:53:42 simonmar Exp $
+# $Id: config.mk,v 1.7 2000/04/07 13:34:03 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/users_guide hslibs/doc
+GhcBinDistDocs = docs ghc/docs/set
 GhcBinDistPrlScripts = ghc-$(ProjectVersion) stat2resid
 GhcBinDistLibPrlScripts = hscpp mkdependHS
 GhcBinDistBins = hp2ps
-- 
1.7.10.4