diff make-dist @ 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 6e068e4635e0
children 80fde3ca486e
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