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
