[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] @value{} expanding to @xref{}
|
From: |
Karl Berry |
|
Subject: |
Re: [PATCH] @value{} expanding to @xref{} |
|
Date: |
Mon, 4 Oct 2004 14:02:42 -0400 |
if some node changes its name
I don't buy this argument, it's not good for it to be easy to change
node names :). Changing node names means existing "foreign" references
break (four/five arg xref, or just an <a href in some random HTML doc),
since they're based on the node names. Sometimes it's unavoidable, but
it's something to minimize.
You probably know this already, but for the record ...
Cheers,
k