Re: 'doc/texinfo.texi' missing @setfilename

[Gavin Smith]

On 6 September 2015 at 11:51, Stefan Husmann <address@hidden> wrote:
> Hello,
>
>  compilation of texinfo from svn (revision 6597-6599) ends with:
>
> doc/Makefile.am: error: 'doc/texinfo.texi' missing @setfilename
>
> at an very early automake step (automake 1.15).

I managed to get the same message by running "automake". It appears
that automake requires a "@setfilename" line even if Texinfo itself
doesn't. (I didn't have this problem when I took the line out because
I didn't have to rerun "automake".)

Thanks for reporting it, I'll put the line back in, and maybe suggest
to the Automake developers not to make the line mandatory.