diff configure @ 73178:55f41f977e85

update to latest texinfo.tex
author Karl Berry <karl@gnu.org>
date Sat, 30 Sep 2006 00:35:15 +0000
parents 4cf82eeaf30f
children 85a9d581baa6 02e39decdc84 8a8e69664178
line wrap: on
line diff