diff info/dir @ 53628:8707b3e084c6

Use "Texinfo" consistently, no "TeXinfo" or "TexInfo".
author Karl Berry <karl@gnu.org>
date Tue, 20 Jan 2004 01:28:15 +0000
parents 1415d5164b81
children 6ee9d413876a
line wrap: on
line diff