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 9733bc1c4a1abe344ebb8170ffd0b82aab8a7b67..abff79982a44bed62d5864628e7f171239cf6c30 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -185,7 +185,7 @@ distdir:
              d=$${i%/*} && $(MKDIRS) $(distdir)/$$d || exit 1 \
              ;; \
          esac; \
              d=$${i%/*} && $(MKDIRS) $(distdir)/$$d || exit 1 \
              ;; \
          esac; \

-         ln $$i $(distdir)/$$i || exit 1; \
+         cp $$i $(distdir)/$$i || exit 1; \

        done
 .PHONY: distdir
 
        done
 .PHONY: distdir