From 6437de973015efcb9fe52566cfc87db6a89f8c52 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Wed, 17 Dec 1997 13:41:42 +0000
Subject: [PATCH] [project @ 1997-12-17 13:41:42 by simonm] add
 ghc/docs/libraries to the documentation built for a GHC binary distribution.

---
 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 2f98dc816e80..82c7dbf0dde2 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -255,7 +255,7 @@ endif
 
 GhcMainDir = ghc
 GhcBinDistDirs = ghc hslibs
-GhcBinDistDocs = docs ghc/docs/users_guide
+GhcBinDistDocs = docs ghc/docs/users_guide ghc/docs/libraries
 GhcBinDistPrlScripts = ghc stat2resid hstags mkdependHS
 GhcBinDistLibPrlScripts = hscpp
 
-- 
GitLab