Re: [bug #35793] patch: make @value work in the filename argument of @xref and friends

[Karl Berry]

Hi Samuel,

    The fact that @value doesn't currently work in the filaname argument
    to @xref and friends is a problem for me, so I made this patch 

Thanks :).  It seems to me that \skipspaces should not be needed at all,
but your change does the job in my tests, so fine.

    (I've signed copyright assignment papers which I *think* should
    cover this, but it was a while ago so I don't remember very
    clearly.)

The copyright papers you signed were only for gdb, as far as I can tell.
However, this change is so small (two lines of code and two lines of
comment) that we don't need papers.  I installed it.

Thanks,
Karl