# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1005595358 0
# Node ID 4eb75a1eacfa52b445422d504d417f46da8c652e
# Parent  2ca1b56f3bb19e7f190c4e5e34551493016df4d8
*** empty log message ***

diff -r 2ca1b56f3bb1 -r 4eb75a1eacfa ChangeLog
--- a/ChangeLog	Mon Nov 12 19:58:33 2001 +0000
+++ b/ChangeLog	Mon Nov 12 20:02:38 2001 +0000
@@ -1,3 +1,8 @@
+2001-11-12  Eli Zaretskii  <eliz@is.elta.co.il>
+
+	* make-dist: Add lispref/index.*perm files to the distribution.
+	From Pavel Jan,Bm(Bk <Pavel@Janik.cz>.
+
 2001-11-12  Pavel Jan,Bm(Bk  <Pavel@Janik.cz>
 
 	* Makefile.in (uninstall): Remove gfdl.1 when uninstalling.