From 93ff058d179e1c6f36d5df7fa290f326d79b680a Mon Sep 17 00:00:00 2001
From: "judah.jacobson@gmail.com" <unknown>
Date: Fri, 31 Aug 2007 05:03:21 +0000
Subject: [PATCH] Don't try to copy haddock index files if we haven't built
 the docs.

M ./libraries/Makefile +2
---
 libraries/Makefile |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/libraries/Makefile b/libraries/Makefile
index 778ffce..1b6546b 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -335,9 +335,11 @@ binary-dist: $(foreach SUBDIR,$(SUBDIRS),binary-dist.library.$(SUBDIR))
 	mkdir                               $(BIN_DIST_LIBDIR)/ifBuildable
 	cp 	  ifBuildable/ifBuildable       $(BIN_DIST_LIBDIR)/ifBuildable
 	cp    Makefile                      $(BIN_DIST_LIBDIR)
+ifeq "$(HADDOCK_DOCS)" "YES"
 	cp    gen_contents_index            $(BIN_DIST_LIBDIR)
 	cp    index.html                    $(BIN_DIST_LIBDIR)
 	cp    doc-index.html                $(BIN_DIST_LIBDIR)
+endif
 	cp -pR stamp                         $(BIN_DIST_LIBDIR)
 
 $(foreach SUBDIR,$(SUBDIRS),binary-dist.library.$(SUBDIR)): \
-- 
1.7.10.4