Re: fatal error: gnu/stubs-32.h: No such file

[Jonathan Wakely]

On 16 July 2013 16:04, Gabriel Dos Reis wrote:
> Agreed.  It is surprising that we allowed ourselves to
> break the most common target this way.

It isn't broken, we just don't list one of the prerequisites in the
installation docs.