Re: Makeinfo --html produces broken external refs

[Sergey Poznyakoff]

Eli Zaretskii <address@hidden> 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.