> "Bruce" == Bruce Korb <[EMAIL PROTECTED]> writes:
Bruce> +## DO NOT FORGET that there may be duplicates in the source and build :-(
When?
Bruce> - cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
Bruce> + cp -pR $$d/$$file $(distdir)$$dir || :; \
A patch like this reall
--- distdir.am Sun Jul 21 21:31:06 2002
+++ distdir.am.new Mon Aug 19 20:14:41 2002
@@ -98,10 +98,11 @@
## source files _and_ generated files. It is also important when the
## directory exists only in $(srcdir), because some vendor Make (such
## as Tru64) will magically create an empty
