diff options
| -rw-r--r-- | ghc/mk/config.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ghc/mk/config.mk b/ghc/mk/config.mk index 4cce33df46..e9453b4752 100644 --- a/ghc/mk/config.mk +++ b/ghc/mk/config.mk @@ -1,3 +1,5 @@ +# ----------------------------------------------------------------------------- +# $Id: config.mk,v 1.5 1999/12/13 17:34:54 simonmar Exp $ # # GHC project configuration # @@ -7,7 +9,7 @@ # what to include in a binary distribution GhcMainDir = ghc -GhcBinDistDirs = ghc +GhcBinDistDirs = ghc hslibs GhcBinDistDocs = docs ghc/docs/users_guide ghc/docs/libraries GhcBinDistPrlScripts = ghc-$(ProjectVersion) stat2resid GhcBinDistLibPrlScripts = hscpp mkdependHS |