diff options
| author | Jim Blandy <jimb@redhat.com> | 1993-02-23 14:13:27 +0000 |
|---|---|---|
| committer | Jim Blandy <jimb@redhat.com> | 1993-02-23 14:13:27 +0000 |
| commit | 5e808bc0d397f23fee13d279096af80e2e736cd4 (patch) | |
| tree | f1988669c843b3517a305697a20bcbb21d604440 /make-dist | |
| parent | 1de6a9711d469c3ab379bbcc9cf93db3ada3bab5 (diff) | |
| download | emacs-5e808bc0d397f23fee13d279096af80e2e736cd4.tar.gz | |
* make-dist: Only copy gmalloc.c if we couldn't link it.
Don't try to copy man/{README,Makefile} unless they actually exist.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/make-dist b/make-dist index 67fdddac222..1d103f062e0 100755 --- a/make-dist +++ b/make-dist @@ -153,7 +153,7 @@ echo "Making links to \`src'." echo " (If we can't link gmalloc.c, that's okay.)" ln [a-zA-Z]*.c ../${tempdir}/src ## Might be a symlink to a file on another filesystem. - cp gmalloc.c ../${tempdir}/src + test -f ../${tempdir}/src || cp gmalloc.c ../${tempdir}/src ln [a-zA-Z]*.h ../${tempdir}/src ln [a-zA-Z]*.s ../${tempdir}/src ln README Makefile.in ymakefile ChangeLog config.h.in paths.h.in \ @@ -211,7 +211,9 @@ echo "Making links to \`man'." (cd man ln *.tex *.texinfo *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/man ln *.c ../${tempdir}/man - ln ChangeLog Makefile README split-man ../${tempdir}/man) + test -f README && ln README ../${tempdir}/man + test -f Makefile && ln Makefile ../${tempdir}/man + ln ChangeLog split-man ../${tempdir}/man) echo "Making links to \`shortnames'." (cd shortnames |