diff make-dist @ 40815:18a8015d9546

Minor fixes of the docs in the commentary. From sen_ml@eccosys.com.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 07 Nov 2001 19:46:57 +0000
parents 3634931bc971
children 42dc72aedd45
line wrap: on
line diff