Commit 6432c4e887bbf66af82aba72cfad875f7f67e298

Karl Berry 2016-08-03T07:05:05

update from texinfo