From a61dd3428431dfa53a17e98a1bea98ee51ac48b6 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 25 Aug 2000 15:21:57 +0000
Subject: [PATCH] [project @ 2000-08-25 15:21:57 by simonmar] Fix for copying
 html documentation into a binary dist.

---
 Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 \
-- 
1.7.10.4