From 8667debc5a0992d2c2f388abf13f0dab29e8247a Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Tue, 18 Jan 2000 15:49:10 +0000
Subject: [PATCH] [project @ 2000-01-18 15:49:10 by panne] Remove `libraries'
 from SUBDIRS

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

diff --git a/ghc/docs/Makefile b/ghc/docs/Makefile
index b1517f541513..cf8be1f57fcd 100644
--- a/ghc/docs/Makefile
+++ b/ghc/docs/Makefile
@@ -6,6 +6,6 @@ include $(TOP)/mk/boilerplate.mk
 #
 export WAYS=
 
-SUBDIRS = libraries users_guide
+SUBDIRS = users_guide
 
 include $(TOP)/mk/target.mk
-- 
GitLab