diff man/reftex.texi @ 63540:f69f062368dd

(Documentation Basics): Explain the xref to Documentation Tips.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Jun 2005 13:43:31 +0000
parents e454fb80ab88
children 9fc49ac7fb44 f042e7c0fe20
line wrap: on
line diff