comparison make-dist @ 4119:7b1b2a8d05f2

Doc fixes; some args renamed.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Jul 1993 19:06:12 +0000
parents 43a30cb1b170
children c720be6f3fae
comparison
equal deleted inserted replaced
4118:4248276b1113 4119:7b1b2a8d05f2