changeset 4970:f27254ec443e

Don't try to link *.texinfo--there are none now.
author Richard M. Stallman <rms@gnu.org>
date Wed, 10 Nov 1993 21:02:27 +0000
parents af6f961194ce
children 8175d30c0181
files make-dist
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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