Commit cdddf7b20eca3616b8818359ec7f0a8900e462e6

Karl Berry 2009-08-16T09:20:30

update from texinfo