X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=9b02279eefb00835eb2928a9a3a65e594f42e6a5;hb=89cefac83e7e468ddc0fdc62b3f4e076e97a7d51;hp=35ade8b4f4a596607292d1f55f9118a9fafd4148;hpb=8db5c9818937c1f952e4cdd58451ea6b25975441;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 35ade8b..9b02279 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 \