Hi,

> I see documentation for -nodefaultrpaths; not for configure options, and 
> at least one of the configure options looks like it's being defined as a 
> GCC-specific configure option rather than a libtool one, so should 
> definitely be documented in install.texi.

Yep, missed that, sorry. It’s now done.


> The driver changes are still OK.

Just to be clear: apart from you and Iain, whose approval do I need (and for what parts)?

Thanks,
FX