Re: [BUG] command line definitions not expanded

[Gavin Smith]

On 21 February 2016 at 09:50, Norbert Preining <address@hidden> 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?