Commit b8635957de3caf4cb94fa5ff0e74271385b33cb7

Karl Berry 2015-11-24T16:56:55

update from texinfo