Eli Zaretskii <[EMAIL PROTECTED]> ha escrit: > If you want a command whose effect is position-dependent, you could > already use @value, can't you?
How could @value have helped in this case? It won't change the way makeinfo generates references in HTML mode. > Sounds like Karl and Patrice have already figured out a way to solve > this. Their solution sounds better than yours, since there will be a > single place where such things are defined. As I said in my letter to Karl, I seem to have missed something. I don't know what solution you are talking about.
