diff make-dist @ 87163:a26917ab398f

(reftex-TeX-master-file): Revert previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 07 Dec 2007 05:22:29 +0000
parents 2c4cf44f634f
children 4424409d4223 53108e6cea98
line wrap: on
line diff