diff make-dist @ 29819:7a583e16423b

@setfilename to ../info/reftex.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 20 Jun 2000 19:54:37 +0000
parents 43f15cfb67a0
children 349704f6532f
line wrap: on
line diff