summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authormthomas <unknown>2004-02-12 02:11:37 +0000
committermthomas <unknown>2004-02-12 02:11:37 +0000
commitea79fe9020185332b7c79134f7bdb0f1bc5f1857 (patch)
treeb4c4b252ab80fa6584768e6fbee3b42ed492fa0b /Makefile
parent272a418428beede04a9c4ae027474878c59d6ca1 (diff)
downloadhaskell-ea79fe9020185332b7c79134f7bdb0f1bc5f1857.tar.gz
[project @ 2004-02-12 02:11:33 by mthomas]
Support for nightly builds of utilities, esp. machines with no doc tools.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 4eb83e76fa..b650d069dc 100644
--- a/Makefile
+++ b/Makefile
@@ -122,6 +122,7 @@ install ::
done
install-docs ::
+ifneq "$(SGMLDocWays)" ""
@case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \
for i in $(filter-out $(ProjectsDontInstall), $(SUBDIRS)); do \
if [ -d $$i ]; then \
@@ -129,6 +130,7 @@ install-docs ::
if [ $$? -eq 0 -o $$x_on_err -eq 0 ] ; then true; else exit 1; fi; \
fi; \
done
+endif
# -----------------------------------------------------------------------------
# Making a binary distribution
@@ -257,9 +259,11 @@ binary-dist::
# Which documentation to build/install is hardcoded below.
#
+ifneq "$(SGMLDocWays)" ""
BINDIST_DOC_WAYS = html ps
-# BINDIST_DOC_WAYS =
-
+else
+BINDIST_DOC_WAYS =
+endif
binary-dist ::
@for i in $(BIN_DIST_DIRS); do \
if test -d "$$i"; then \