[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Text decoration in node names and index entries
|
From: |
Karl Berry |
|
Subject: |
Re: Text decoration in node names and index entries |
|
Date: |
Mon, 6 Jul 2015 21:50:06 GMT |
@key - I'm not sure about this one. (Decorates like <this>.)
I tend to think we should keep the <> decorations for that one.
It actually means something.
@dfn - uses double inverted commas, "like this".
I think it's fine to drop the "". (Besides, I can't imagine any correct
usage of @dfn in node names or index entries, so it should no matter.)
k
Re: Text decoration in node names and index entries, Karl Berry, 2015/07/03