Re: makeinfo gets confused by @ref command inside @copying

[Karl Berry]

    Subject: makeinfo gets confused by @ref command inside @copying

Yes it does :(.  I hope this will be fixed by the new implementation in
texi2html ...

Thanks,
Karl