diff man/info.texi @ 36155:3594ca3f5f64

Fix some Texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:05:29 +0000
parents ddf7d535df2a
children 7f8b2b2ae623
line wrap: on
line diff