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 112d8bb58c4b..9de6247a98c7 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 \
--
GitLab