diff options
| -rw-r--r-- | doc/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index a3e75fc8e..526592a19 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 |