changeset 1942:b403b27bc31c

* make-dist: Only copy gmalloc.c if we couldn't link it. Don't try to copy man/{README,Makefile} unless they actually exist.
author Jim Blandy <jimb@redhat.com>
date Tue, 23 Feb 1993 14:13:27 +0000
parents 139fbc92c196
children 80482f2d54bf
files make-dist
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Tue Feb 23 13:21:13 1993 +0000
+++ b/make-dist	Tue Feb 23 14:13:27 1993 +0000
@@ -153,7 +153,7 @@
  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 @@
 (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