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