From b322894fe813986892e987def990e8ee8c7cfac0 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Tue, 14 Apr 1998 10:43:10 +0000
Subject: [PATCH] [project @ 1998-04-14 10:43:10 by simonm] don't include
 PRIVATE in NoFibSubDirs by default.

---
 mk/config.mk.in |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 50906bd..7bd9106 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -346,7 +346,7 @@ HappyBinDistShScripts = happy
 #	PRIVATE
 #	PENDING
 #	UNUSED
-NoFibSubDirs = imaginary spectral real PRIVATE
+NoFibSubDirs = imaginary spectral real
 
 # The different ways to build nofib. Default is just to mirror
 # what is done for the ghc prelude libraries.
-- 
1.7.10.4