Commit f41ea585f353dfc759d35d19a88787ec3e260f8d

Karl Berry 2003-01-27T13:19:58

update from texinfo