diff man/reftex.texi @ 36163:159cc113a7b0

Small cleanups in usage.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:40:43 +0000
parents 6679ef9b33fe
children c7c99d08c223
line wrap: on
line diff