Fix previous change.
commitb32ce17b38404967ae478c233984f20339ce231a
authorRichard M. Stallman <rms@gnu.org>
Wed, 9 Jul 1997 04:49:35 +0000 (9 04:49 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 9 Jul 1997 04:49:35 +0000 (9 04:49 +0000)
tree810870ec725d69e4cf916f59f367a28ddb40f334
parentfed6688e879e436a3a0bab1b22bfdc1c0a5e9e66
Fix previous change.
make-dist