Commit 0394787c315ceb29981d11d0bb0ec4c28e32a723

Karl Berry 2015-12-22T16:02:59

update from texinfo