Commit 2fda85e86229b0413b1ffbc0471fb3898a217e08

Karl Berry 2015-10-06T15:06:11

update from texinfo