Commit 5dbf9fa664be72d5aad64b6714864663bb325ac3

Karl Berry 2015-10-30T08:40:41

update from texinfo