[project @ 2000-01-25 20:08:33 by sewardj]

[ghc-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index 3ce1f82..efa8633 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,7 @@ BIN_DIST_TOP= distrib/Makefile-bin.in \
              README \
              distrib/INSTALL \
              $(BIN_DIST_MAIN_DIR)/ANNOUNCE \
-             $(BIN_DIST_MAIN_DIR)/PATCHLEVEL \
+             $(BIN_DIST_MAIN_DIR)/VERSION \
              $(BIN_DIST_MAIN_DIR)/RELEASE \
              $(BIN_DIST_MAIN_DIR)/LICENSE \
              glafp-utils/mkdirhier/mkdirhier \
@@ -122,19 +122,26 @@ 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) && \
+            $(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 \
+                  echo Copying HTML docs from $$subdir...; \
+                  cp -Rf $$dir/$$subdir $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way; \
+               done \
+            else \
+               cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way; \
+            fi && \
             echo "Done."; \
           done; \
        done
+       @rm -f .doclog
 
 # Rename scripts to $i.prl and $i.sh where necessary.
 # ToDo: do this in a cleaner way...