* Makefile.in (dist-dir): New target for new dist system.

(manifest): Deleted.
* PLUGIN/this.configure (aux_files): Removed PLUGIN; it's a
directory, and needs special treatment in the dist-dir target.

diff --git a/ice-9/Makefile.in b/ice-9/Makefile.in
index 318dc4a..c3d7e0a 100644 (file)
--- a/ice-9/Makefile.in
+++ b/ice-9/Makefile.in
@@ -54,13 +54,20 @@ uninstall:
        -rmdir $(libdir)
 
 
-SUBDIR=.
-manifest:
-       srcdir=./$(SUBDIR) ; \
-       . $(SUBDIR)/PLUGIN/this.configure;  \
-       for file in $$scm_files $$aux_files ; \
-         do echo $(SUBDIR)/$$file ; \
+# The `dist' target in the top-level Makefile uses this `dist-dir'
+# target to select the appropriate files for distribution from the
+# directory containing this Makefile.
+.PHONY: dist-dir
+dist-dir:
+       mkdir ${DISTDIR}
+       for f in ${scm_files} ${aux_files}; do \
+         ln ${srcdir}/$$f ${DISTDIR}; \
        done
+       mkdir ${DISTDIR}/PLUGIN
+       for f in REQ greet split.sed this.configure; do \
+         ln ${srcdir}/PLUGIN/$$f ${DISTDIR}/PLUGIN; \
+       done
+
 
 clean: