X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=b6b23572cd39786d5aed9ad195b51b61e6c35fe3;hb=ffe71d18b231aa0223f8ca9229760e6ebced367e;hp=99e5988aa12b20df7f7ed26cfa819a64cd1af962;hpb=f18af71db7d550223e3c0012896a0d422fcaf97d;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 99e5988..b6b2357 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...