On 17 January 2016 at 21:56, Karl Berry wrote:
> Hi Gavin - somewhere in all the brace/indexing changes to texinfo.tex,
> it seems that using @{ or @} inside @xref or other ref commands started
> to fail (or maybe it never worked, I guess I'm not entirely sure, come
> to think of it). Now, someth
Hi Gavin - somewhere in all the brace/indexing changes to texinfo.tex,
it seems that using @{ or @} inside @xref or other ref commands started
to fail (or maybe it never worked, I guess I'm not entirely sure, come
to think of it). Now, something like
@xref{a@}b}
gets (with texinfo.tex 2016-01-
