Re: @ref on sectioning command lines

[Karl Berry]

    So, everything seems to work fine, except for @inforef, but I think
    it can be fixed, and there is a bug for @pxref{,,, file name} which
    is certainly unrelated.

I'll look at those as soon as I have a chance.

    So I think that we can consider that construct ok?

Yes.

    In HTML it leads to nested <a> in table of contents, which is not valid.
    But I don't think we should bother about that.

If you don't think so, it's fine by me :).


(Thanks also for the running-texi2any.pl-from-srcdir work.  Looks good.)

k