# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 738116129 0
# Node ID 1298574b81d651e4c96f5791f7c89b19a766eb0a
# Parent  fe78246d77fbdb3c89b116f3834ad7d5de7fa367
Remove duplicate cp command from `man' section.

diff -r fe78246d77fb -r 1298574b81d6 make-dist
--- 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