Commit 23899700bb5424fed6814da6964df9f3214b8336

Karl Berry 2016-09-12T07:26:44

update from texinfo