# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 752965347 0
# Node ID f27254ec443e408a46f776a045e1b02d8dffd371
# Parent  af6f961194cee5a009ee49fdaad68b0d00f56116
Don't try to link *.texinfo--there are none now.

diff -r af6f961194ce -r f27254ec443e make-dist
--- a/make-dist	Wed Nov 10 20:51:02 1993 +0000
+++ b/make-dist	Wed Nov 10 21:02:27 1993 +0000
@@ -264,7 +264,7 @@
 
 echo "Making links to \`man'."
 (cd man
- ln *.texinfo *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/man
+ ln *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/man
  test -f README && ln README ../${tempdir}/man
  test -f Makefile && ln Makefile ../${tempdir}/man
  ln ChangeLog split-man ../${tempdir}/man