diff man/reftex.texi @ 38310:926054175878

(Visiting, File Names): Mention that completion ignores some file names, and add a cross-reference to Completion Options, where this is documented.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 06 Jul 2001 11:00:50 +0000
parents 8d7aebc49a9a
children a8c0a02f6129
line wrap: on
line diff