diff options
author | simonmar <unknown> | 1999-10-26 08:30:31 +0000 |
---|---|---|
committer | simonmar <unknown> | 1999-10-26 08:30:31 +0000 |
commit | 019d224447941308dad189e89a66da7b15e0a5df (patch) | |
tree | 0ef44775123f64f744b3c346d304cd0044c47f8d /Makefile | |
parent | bd3fdabc98a87e7ebf124e9c26f6a7f89cb214e1 (diff) | |
download | haskell-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-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 |