diff make-dist @ 19248:52b2d9fc00a4

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 09 Aug 1997 16:46:53 +0000
parents 2cf5e8809c8e
children 53fa6bca2c89
line wrap: on
line diff