From f6ecf2bd69de337f8533082c78fce825b853811d Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Mon, 19 Jun 2000 10:05:38 +0000
Subject: [PATCH] [project @ 2000-06-19 10:05:38 by rrt] Changed SUBDIRS from
 users_guide to set (the former doesn't build any more
 except as part of the latter).

---
 ghc/docs/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/docs/Makefile b/ghc/docs/Makefile
index cf8be1f..318f7e1 100644
--- a/ghc/docs/Makefile
+++ b/ghc/docs/Makefile
@@ -6,6 +6,6 @@ include $(TOP)/mk/boilerplate.mk
 #
 export WAYS=
 
-SUBDIRS = users_guide
+SUBDIRS = set
 
 include $(TOP)/mk/target.mk
-- 
1.7.10.4