Commit 82d514b0645efd10b2b68b911372ae84e1a54da4

Karl Berry 2015-10-27T08:34:31

update from texinfo