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?
