1 files changed, 1 insertions, 1 deletions

diff --git a/make-dist b/make-dist
index 55dac98d713..44a123c658a 100755
--- a/make-dist
+++ b/make-dist
@@ -478,7 +478,7 @@ echo "Making links to \`doc/misc'"
 echo "Making links to \`doc/lispref'"
 (cd doc/lispref
  ln *.texi *.in makefile.w32-in README ChangeLog* ../../${tempdir}/doc/lispref
- ln *.txt *.el spellfile tindex.pl ../../${tempdir}/doc/lispref
+ ln *.txt *.el spellfile ../../${tempdir}/doc/lispref
  ln two-volume.make ../../${tempdir}/doc/lispref)
 
 echo "Making links to \`doc/lispintro'"