[project @ 2005-05-13 10:58:10 by simonmar]

[ghc-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index f9e10be..6ce05dc 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -289,10 +289,12 @@ binary-dist::
        fi
 #
 # binary dist'ing the documentation.  
-# Which documentation to build/install is hardcoded below.
-#
+# The default documentation to build/install is given below; overrideable
+# via build.mk or the 'make' command-line.
 
+ifndef BINDIST_DOC_WAYS
 BINDIST_DOC_WAYS = html ps
+endif
 # BINDIST_DOC_WAYS =
 
 binary-dist ::