diff options
author | Jim Meyering <jim@meyering.net> | 1994-11-04 14:48:40 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 1994-11-04 14:48:40 +0000 |
commit | 05bcdf4d41957584911797363baaebc0f3feeba8 (patch) | |
tree | bfa582d729da53ef3ac91d95dcff85619b645c9e | |
parent | cda4ac2e9182b7afcb4c06f7e510d9c5f5a9080e (diff) | |
download | coreutils-05bcdf4d41957584911797363baaebc0f3feeba8.tar.xz |
.
-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 |