# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1005572391 0
# Node ID 80822bf12d5e322f335dde7dbd5a0d7bcf3278fb
# Parent  f57eed61febd1921e419c2ad5cf8b4d976bc41ce
Add lispref/index.*perm files to the distribution.
From Pavel Janik <Pavel@Janik.cz>.

diff -r f57eed61febd -r 80822bf12d5e make-dist
--- a/make-dist	Mon Nov 12 11:43:16 2001 +0000
+++ b/make-dist	Mon Nov 12 13:39:51 2001 +0000
@@ -602,7 +602,7 @@
 
 echo "Making links to \`lispref'"
 (cd lispref
- ln *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/lispref
+ ln *.texi *.aux *.cps *.fns *.kys *.vrs index.*perm ../${tempdir}/lispref
  test -f README && ln README ../${tempdir}/lispref
  test -f Makefile.in && ln Makefile.in ../${tempdir}/lispref
  ln ChangeLog ../${tempdir}/lispref