On Fri, 28 Aug 2015, Juan Manuel Torres Palma wrote: > * INSTALL: Add reference to 'make pdf'. That should be * INSTALL: Regenerated. (after the entry for install.texi), since INSTALL is a file generated from install.texi, not one to edit manually. -- Joseph S. Myers joseph@codesourcery.com