# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 961530890 0
# Node ID f5dc3b2e86d45c392178313116fbbf986b67297d
# Parent  7a583e16423bdf276ac6af452c94d910cb319eac
*** empty log message ***

diff -r 7a583e16423b -r f5dc3b2e86d4 man/ChangeLog
--- a/man/ChangeLog	Tue Jun 20 19:54:37 2000 +0000
+++ b/man/ChangeLog	Tue Jun 20 19:54:50 2000 +0000
@@ -1,3 +1,7 @@
+2000-06-20  Gerd Moellmann  <gerd@gnu.org>
+
+	* reftex.texi: @setfilename to ../info/reftex.
+
 2000-06-18  Gerd Moellmann  <gerd@gnu.org>
 
 	* autotype.texi, cl.texi, eudc.texi, gnus.texi, idlwave.texi
diff -r 7a583e16423b -r f5dc3b2e86d4 src/ChangeLog
Binary file src/ChangeLog has changed