diff man/texinfo.tex @ 42942:048fa049ccba

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Jan 2002 05:06:14 +0000
parents d740bf4f6714
children efec044efb3a
line wrap: on
line diff