Commit 456b8e9f25e77ddf92de2e198dc0ec6be3b415e5

Karl Berry 2015-10-26T07:02:41

update from texinfo