Commit df0db0ade09ee7aeff9febbeaf4450d30e0ca1ad

Paul Eggert 2016-02-08T18:39:23

Use modern texinfo when syncing install.texi output from autoconf