diff make-dist @ 68541:86e02f4f4ec2

Minor fix to previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 02 Feb 2006 04:27:55 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff