log doc/misc/reftex.texi @ 86395:a3652ad30520

age author description
Thu, 06 Sep 2007 05:10:13 +0000 Glenn Morris (setfilename): Go up one more level to ../../info.
Thu, 06 Sep 2007 05:01:53 +0000 Glenn Morris Move here from ../../man