RE: [wwwdocs] Patch for RE: Coding conventions -- command line option vs command-line option

2007-09-20 Thread Dave Korn
On 19 September 2007 23:31, Gerald Pfeifer wrote: > I am committing the patch below to our coding conventions and will fix > up the existing web pages accordingly. Amusingly enough, this just came out today: http://news.bbc.co.uk/1/hi/magazine/7004661.stm cheers, DaveK -- Can't thi

[wwwdocs] Patch for RE: Coding conventions -- command line option vs command-line option

2007-09-19 Thread Gerald Pfeifer
On Mon, 17 Sep 2007, Dave Korn wrote: > Hyphenated. It's not a line option of a command, it's an option of a > command-line. On Mon, 17 Sep 2007, Joseph S. Myers wrote: > As an adjective I think it should be "command-line"; I'm sure Sandra will > correct me if I'm wrong here. On Mon, 17 Sep 200

Re: Coding conventions -- command line option vs command-line option

2007-09-17 Thread Sandra Loosemore
Joseph S. Myers wrote: On Mon, 17 Sep 2007, Gerald Pfeifer wrote: And now to the most important issue of all to address before we can release GCC 4.3.0. ;-) In our current documentation we have both "command-line option" and "command line option". Like other such cases, we should make a choic

Re: Coding conventions -- command line option vs command-line option

2007-09-17 Thread Joseph S. Myers
On Mon, 17 Sep 2007, Gerald Pfeifer wrote: > And now to the most important issue of all to address before we can > release GCC 4.3.0. ;-) > > In our current documentation we have both "command-line option" and > "command line option". Like other such cases, we should make a choice > and document

RE: Coding conventions -- command line option vs command-line option

2007-09-16 Thread Dave Korn
On 17 September 2007 00:35, Gerald Pfeifer wrote: > And now to the most important issue of all to address before we can > release GCC 4.3.0. ;-) > > In our current documentation we have both "command-line option" and > "command line option". Like other such cases, we should make a choice > and d

Coding conventions -- command line option vs command-line option

2007-09-16 Thread Gerald Pfeifer
And now to the most important issue of all to address before we can release GCC 4.3.0. ;-) In our current documentation we have both "command-line option" and "command line option". Like other such cases, we should make a choice and document this in codingconventions.html. I am willing to take c