Commit 1d4ee40d209d7a7c2a7c96c1469050eddc6cce2e

Karl Berry 2016-03-22T09:15:36

update from texinfo