Re: Colon in @pxref, automake.texi

[Karl Berry]

    - the documentation of texinfo does not state to avoid colon in the 
    third parameter of @pxref

You're right that there is nothing about that particular case in the doc
(that I could find either).  I'll add something.

    - texinfo forgets to escape the colon?

Unfortunately there is no escape mechanism for special chars in
node/xref/anchor/etc. names.  A design flaw since day 1 of Texinfo, that
perhaps we will fix one of these years, but not this one.

Thanks,
karl