summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorsimonmar <unknown>1999-10-26 08:30:31 +0000
committersimonmar <unknown>1999-10-26 08:30:31 +0000
commit019d224447941308dad189e89a66da7b15e0a5df (patch)
tree0ef44775123f64f744b3c346d304cd0044c47f8d /Makefile
parentbd3fdabc98a87e7ebf124e9c26f6a7f89cb214e1 (diff)
downloadhaskell-019d224447941308dad189e89a66da7b15e0a5df.tar.gz
[project @ 1999-10-26 08:30:31 by simonmar]
Fix documentation installing in a binary dist.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index cbce27b338..9240a112a3 100644
--- a/Makefile
+++ b/Makefile
@@ -122,16 +122,16 @@ binary-dist::
#
BINDIST_DOCS = $($(Project)BinDistDocs)
-BINDIST_DOCS_WAYS = html info dvi
+BINDIST_DOCS_WAYS = html ps
binary-dist ::
@for way in $(BINDIST_DOCS_WAYS); do \
- $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(ProjectNameShort)-$(ProjectVersion); \
+ $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way; \
for dir in $(BINDIST_DOCS); do \
echo Making $$way documentation in $$dir && \
$(MAKE) -C $$dir --no-print-directory $(MFLAGS) $$way && \
- echo cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(ProjectNameShort)-$(ProjectVersion) && \
- cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(ProjectNameShort)-$(ProjectVersion) && \
+ echo cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way && \
+ cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way && \
echo "Done."; \
done; \
done