diff --git a/mk/config.mk.in b/mk/config.mk.in index 2f98dc816e80590c54a51035dcd234422f2cddfe..82c7dbf0dde2e58941282536a01267310b340e08 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