Commit dd3b451c536c14d3f31922e3dc394da4a724275f

Karl Berry 2007-07-30T15:51:07

update from texinfo