projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
04b6f89
)
[project @ 2000-05-18 09:42:28 by simonmar]
author
simonmar
<unknown>
Thu, 18 May 2000 09:42:28 +0000
(09:42 +0000)
committer
simonmar
<unknown>
Thu, 18 May 2000 09:42:28 +0000
(09:42 +0000)
doc-building fix.
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
35ade8b
..
9b02279
100644
(file)
--- 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 \
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 \
echo Copying HTML docs from $$subdir...; \
cp -Rf $$dir/$$subdir $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way; \
done \