[project @ 2004-02-12 14:31:11 by simonpj]

[ghc-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index 7f47f3b..b650d06 100644 (file)
--- 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
@@ -194,7 +196,7 @@ BIN_DIST_TMPDIR=$(FPTOOLS_TOP_ABS)
 
 binary-dist-pre::
 ifeq "$(BIN_DIST)" ""
-       echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
+       @echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
 endif
        -rm -rf $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)
        -$(RM) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME).tar.gz
@@ -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                                \