# -----------------------------------------------------------------------------
-# $Id: config.mk,v 1.16 2002/01/10 10:46:12 sof Exp $
+# $Id: config.mk,v 1.18 2002/07/02 13:56:22 simonmar Exp $
#
# GHC project configuration
#
# what to include in a binary distribution
GhcMainDir = ghc
-GhcBinDistDirs = ghc hslibs
-GhcBinDistDocs = ghc/docs/set
+GhcBinDistDirs = ghc libraries hslibs
ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
GhcBinDistShScripts = ghc-$(ProjectVersion) ghci-$(ProjectVersion) ghc-pkg-$(ProjectVersion)
else