From 8c178b26e4ecfab8d830f77807f64461d3b09703 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 2 Jul 2002 14:15:22 +0000
Subject: [PATCH] [project @ 2002-07-02 14:15:22 by simonmar] Don't omit docs
 when doing a binary dist

---
 ghc/Makefile |    7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/ghc/Makefile b/ghc/Makefile
index 5d13069..4d71792 100644
--- a/ghc/Makefile
+++ b/ghc/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.20 2002/02/12 15:17:13 simonmar Exp $
+# $Id: Makefile,v 1.21 2002/07/02 14:15:22 simonmar Exp $
 #
 
 TOP=.
@@ -31,11 +31,6 @@ SUBDIRS = includes utils driver docs compiler
 endif
 endif
 
-# Easier to copy
-ifeq "$(BIN_DIST)" "1"
-SUBDIRS := $(filter-out docs,$(SUBDIRS))
-endif
-
 ifeq ($(IncludeTestDirsInBuild),YES)
 SUBDIRS += tests
 endif
-- 
1.7.10.4