Commit fadd80aef9f1ae32a16fe7380b1635fee18876ce

Karl Berry 2017-01-16T07:09:50

update from texinfo