Makefile (distdir): Copy files rather than linking.

Linking will hardlink symlinks, and that won't end well.  All our files
are tiny, so it's not worth worrying about the performance effect.

diff --git a/Makefile b/Makefile
index 9733bc1..abff799 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -185,7 +185,7 @@ distdir:
              d=$${i%/*} && $(MKDIRS) $(distdir)/$$d || exit 1 \
              ;; \
          esac; \
-         ln $$i $(distdir)/$$i || exit 1; \
+         cp $$i $(distdir)/$$i || exit 1; \
        done
 .PHONY: distdir