On Mon, 8 Jun 2015, Andrew Senkevich wrote: > Update of install.texi is: OK (remembering the regeneration of INSTALL when you commit). -- Joseph S. Myers joseph@codesourcery.com