Commit fc7153f3df60f771a5aefa7ceffc2bf9c438efad

Karl Berry 2010-09-06T17:17:55

update from texinfo