From: simonmar <unknown>
Date: Fri, 25 Aug 2000 15:21:57 +0000 (+0000)
Subject: [project @ 2000-08-25 15:21:57 by simonmar]
X-Git-Tag: Approximately_9120_patches~3826
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a61dd3428431dfa53a17e98a1bea98ee51ac48b6

[project @ 2000-08-25 15:21:57 by simonmar]
Fix for copying html documentation into a binary dist.
---

diff --git a/Makefile b/Makefile
index 112d8bb..9de6247 100644
--- a/Makefile
+++ b/Makefile
@@ -141,7 +141,7 @@ binary-dist ::
 	     echo Making $$way documentation in $$dir && \
 	     $(MAKE) -C $$dir --no-print-directory $(MFLAGS) $$way >.doclog  2>&1 && \
 	     if [ "$$way" = "html" ]; then \
-		for subdir in `perl -n -e '/output will be in ([_\-A-Za-z0-9]*)/ && do { print $$1; };' <.doclog`; do \
+		for subdir in `perl -n -e '/output will be in ([_\-A-Za-z0-9]*)/ && do { print "$$1 "; };' <.doclog`; do \
 		   echo Copying HTML docs from $$subdir...; \
 		   cp -Rf $$dir/$$subdir $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way; \
 		done \