From bc4924fc7c5e76694e450f190e92bb22ce6aa4c5 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 18 May 2000 09:42:28 +0000
Subject: [PATCH] [project @ 2000-05-18 09:42:28 by simonmar] doc-building fix.
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 35ade8b4f4a5..9b02279eefb0 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