On Mon, 16 May 2016, Pekka Jääskeläinen wrote:

> The diffstat is as follows:

I don't see any .texi files in this diffstat.  New front ends need all 
relevant documentation updated.

-- 
Joseph S. Myers
joseph@codesourcery.com