From 298c8970ee003ce37a2458442f8708b8d2d78e35 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Wed, 10 Nov 1993 21:02:27 +0000
Subject: [PATCH] Don't try to link *.texinfo--there are none now.

---
 make-dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-dist b/make-dist
index ce384fd88cc..08214692f2d 100755
--- a/make-dist
+++ b/make-dist
@@ -264,7 +264,7 @@ echo "Making links to \`info'."
 
 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
-- 
2.39.5