summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authormthomas <unknown>2004-03-16 05:05:31 +0000
committermthomas <unknown>2004-03-16 05:05:31 +0000
commit52ab2a3d2f5f005308c970ba6fb882cf2502e391 (patch)
tree51806e4f93f849162c66aa71ba3dca043994f822 /Makefile
parentb2bc3ad78e48f172d11113f32ff225e25404a87b (diff)
downloadhaskell-52ab2a3d2f5f005308c970ba6fb882cf2502e391.tar.gz
[project @ 2004-03-16 05:05:31 by mthomas]
Retrofit Simon's DOCBOOK_CATALOG fix for platforms without DOCBOOK.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 99e5988aa1..b6b23572cd 100644
--- a/Makefile
+++ b/Makefile
@@ -261,6 +261,7 @@ BINDIST_DOC_WAYS = html ps
# BINDIST_DOC_WAYS =
binary-dist ::
+ifneq "$(DOCBOOK_CATALOG)" ""
@for i in $(BIN_DIST_DIRS); do \
if test -d "$$i"; then \
$(MAKE) -C $$i $(MFLAGS) $(BINDIST_DOC_WAYS); \
@@ -280,6 +281,7 @@ binary-dist ::
datadir=$(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/share; \
fi \
done
+endif
# Rename scripts to $i.prl and $i.sh where necessary.
# ToDo: do this in a cleaner way...