On Mon, Aug 25, 2008 at 05:49:37PM -0500, Karl Berry wrote:
>     Do you agree on node names being in code_style? 
> 
> Yes.
> 
> Although we print them in roman in texinfo.tex (in @xref output), and I
> fear it would look strange to print them in typewriter.  But anyway, as

They don't need to be printed in typewriter. they just need to have --
kept.

--
Pat


Reply via email to