+ @echo "hackily rename some of these chaps.."
+ $(MV) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/Makefile-bin.in $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/Makefile.in
+ $(MV) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/configure-bin.in $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/configure.in
+ @echo "Generating a shippable configure script.."
+ ( cd $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME); autoconf )
+
+#
+# binary dist'ing the documentation.
+# Which documentation to build/install is hardcoded below.
+#
+
+BINDIST_DOCS = docs ghc/docs/users_guide
+BINDIST_DOCS_WAYS = html info dvi
+
+binary-dist ::
+ @for way in $(BINDIST_DOCS_WAYS); do \
+ $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion); \
+ 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/$(GhcProjectNameShort)-$(GhcProjectVersion); \
+ cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion); \
+ echo "Done."; \
+ done; \
+ done