PATCH for Re: installation instructions; glitchlet

[Joseph S. Myers]

On Thu, 2 Jan 2003, Gerald Pfeifer wrote:

> On Tue, 31 Dec 2002, Joseph S. Myers wrote:
> >> +@command{gcc/config.gcc} script for a complete list of supported models.
> > This should be @file, not @command.
> 
> Why?  Because it is a program (command) that is only invoked by other
> programs, not by a user? Or because the user won't execute it, but read
> its source?

The user only reads its source; the reference is only to reading its
source.  But config.gcc is never executed as a command at all even by
other programs; it's a program _fragment_ sourced multiple times from
within configure.

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