On Tue, 31 Dec 2002, Gerald Pfeifer wrote: > +@command{gcc/config.gcc} script for a complete list of supported models. This should be @file, not @command. -- Joseph S. Myers jsm28@cam.ac.uk