[PATCH] Improve manual safety annotations debugging

[Joseph Myers]

On Mon, 31 Aug 2015, Juan Manuel Torres Palma wrote:

> I didn't know about it, so I edited both manually. How is INSTALL file
> generated?

"make INSTALL" (given that you've edited install.texi, so INSTALL has an 
older timestamp than install.texi).

> Should I submit the previous patch again but modified, or a new patch
> to fix the previous one?

I advise resubmitting.

-- 
Joseph S. Myers
joseph@codesourcery.com