diff configure @ 51681:0a1f20d3fa89

Fix minor Texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Jun 2003 16:20:28 +0000
parents 2d18e453554f
children 6a3cc9d03391
line wrap: on
line diff