.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index a3e75fc8ed1118ecabb74afa6bd15cae46f5b47b..526592a192295e99d6523f2bc5a453de023b6e5a 100644 (file)
--- 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