Hi Gavin,
no idea, guess so. I'll try on texinfo 4.8 in stable. I just was informed of
the report and it seems that it was working before.
I'll investigate, and hope that the maintainer of the package will comment, too.
Thanks
Norbert
On 21 February 2016 19:18:39 GMT+09:00, Gavin Smith <gavinsmith0...@gmail.com>
wrote:
>On 21 February 2016 at 09:50, Norbert Preining <prein...@logic.at>
>wrote:
>> HI Gavin,
>>
>>> The problem is that @setfilename is missing from the file, and
>>> texi2dvi looks for that line to add the extra line. @setfilename was
>>> required before, so this isn't a regression (I hope).
>>
>> Ahh, I see. The original did have a line like this:
>> @setfilename @value{cmd1}.info
>> so it might be necessary to add it *before* this line.
>>
>
>Did this ever work, and if so, which version of texinfo.tex and
>texi2dvi?
---
PREINING, Norbert http://www.preining.info
JAIST, Japan TeX Live & Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
