INSTALL/configure.html mentions ${gcc_tooldir} - what's that?

[Jim Wilson]

Denys Vlasenko wrote:
> Please, can somebody add an explanation to INSTALL/configure.html
> what ${gcc_tooldir} is, and how to set it (I guess with configure
> option or something?)

gcc_tooldir is a makefile variable.  You can't change it directly.  It 
is effectively $prefix/$target, though if you look at the details you 
will see it is a bit more complicated than that.

Yes, the docs should be clarified.  You might want to submit a bug report.

Jim