[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #35793] patch: make @value work in the filename argument of @xr
From: |
Karl Berry |
Subject: |
Re: [bug #35793] patch: make @value work in the filename argument of @xref and friends |
Date: |
Sun, 11 Mar 2012 15:07:04 -0700 |
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