+
+BINDIST_DOCS = $($(Project)BinDistDocs)
+BINDIST_DOCS_WAYS = html info dvi
+
+binary-dist ::
+ @for way in $(BINDIST_DOCS_WAYS); do \
+ $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(ProjectNameShort)-$(ProjectVersion); \
+ 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 "Done."; \
+ done; \
+ done
+
+# Rename scripts to $i.prl and $i.sh where necessary.
+# ToDo: do this in a cleaner way...
+
+ifneq "$($(Project)BinDistPrlScripts)" ""
+binary-dist::
+ @for i in $($(Project)BinDistPrlScripts); do \
+ echo "Renaming $$i to $$i.prl"; \
+ $(MV) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$(ProjectNameShort)-$(ProjectVersion)/$$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$(ProjectNameShort)-$(ProjectVersion)/$$i.prl; \
+ done
+endif
+
+ifneq "$($(Project)BinDistLibPrlScripts)" ""