Commit 7905b3d2900de40c2ef5d3e44cdfe21b03e70c7a

Karl Berry 2008-03-07T10:29:54

update from texinfo