with_cross_host vs cross-hosted

[Joseph S. Myers]

On Fri, 6 Jul 2001, DJ Delorie wrote:

> > The installation manual isn't itself installed (and if it were, it would
> > need a more globally meaningful name than install.info).
> 
> Hmmm... I have a choice between a deprecated manual, and a missing one.
> What to choose?  What to choose?  ;-)

Link to the online version http://gcc.gnu.org/install/ ?

-- 
Joseph S. Myers
jsm28@cam.ac.uk