diff make-dist @ 14529:6c886dde14b8

(info): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 09 Feb 1996 19:12:10 +0000
parents 05f4d693bbbf
children f41775f4f5c6
line wrap: on
line diff