Re: [PATCH/wwwdocs] add uses of @code to coding conventions

2018-12-13 Thread Jeff Law
On 12/13/18 4:34 PM, Martin Sebor wrote: > Attached is the update I propose to add to the Spelling, > terminology and markup section of the Coding conventions, to > give guidance for when to use the @code{} Texinfo command. >  I believe this reflects existing (if somewhat inconsistent) > practice. 

[PATCH/wwwdocs] add uses of @code to coding conventions

2018-12-13 Thread Martin Sebor
Attached is the update I propose to add to the Spelling, terminology and markup section of the Coding conventions, to give guidance for when to use the @code{} Texinfo command. I believe this reflects existing (if somewhat inconsistent) practice. It's not intended to add a new requirement. Mart