diff man/reftex.texi @ 30638:90d9fcda2a65

(config.status): Prepend `$(srcdir)/' to `configure'.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 07 Aug 2000 13:12:32 +0000
parents 95bdbefcdac6
children 6679ef9b33fe
line wrap: on
line diff