From 05bcdf4d41957584911797363baaebc0f3feeba8 Mon Sep 17 00:00:00 2001
From: Jim Meyering <jim@meyering.net>
Date: Fri, 4 Nov 1994 14:48:40 +0000
Subject: [PATCH] .

---
 doc/Makefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index a3e75fc8ed..526592a192 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -82,7 +82,10 @@ realclean: distclean
 
 distdir = ../`cat ../distname`/$(subdir)
 dist: $(DISTFILES)
-	ln $(DISTFILES) $(distdir)
+	for file in $(DISTFILES); do \
+	  ln $$file $(distdir) \
+	    || { echo copying $$file instead; cp -p $$file $(distdir);}; \
+	done
 
 subdir = doc
 Makefile: ../config.status Makefile.in
-- 
2.47.3