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 \
if [ $$? -eq 0 -o $$x_on_err -eq 0 ] ; then true; else exit 1; fi; \
fi; \
done
+endif
# -----------------------------------------------------------------------------
# Making a binary distribution
# 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 \