changeset 2972:1298574b81d6

Remove duplicate cp command from `man' section.
author Jim Blandy <jimb@redhat.com>
date Sun, 23 May 1993 00:15:29 +0000
parents fe78246d77fb
children 6b04a0846802
files make-dist
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Sun May 23 00:08:34 1993 +0000
+++ b/make-dist	Sun May 23 00:15:29 1993 +0000
@@ -243,7 +243,6 @@
 echo "Making links to \`man'."
 (cd man
  ln *.texinfo *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/man
- cp texinfo.tex texindex.c ../${tempdir}/man
  test -f README && ln README ../${tempdir}/man
  test -f Makefile && ln Makefile ../${tempdir}/man
  ln ChangeLog split-man ../${tempdir}/man