Commit e9dd4906da30642172e6bb1ff2703e8e2c912fcb

Karl Berry 2014-11-16T10:41:11

update from texinfo