bug#36921: closed (texinfo: @setfilename is not mandatory)

[GNU bug Tracking System]

Your message dated Sat, 11 Jan 2025 14:45:53 -0700
with message-id <202501112145.50BLjrXh2584544@freefriends.org>
and subject line Re: bug#36921: bug#34201: [PATCH] automake: do not require 
@setfilename in Texinfo files
has caused the debbugs.gnu.org bug report #36921,
regarding texinfo: @setfilename is not mandatory
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
36921: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36921
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> texinfo: @setfilename is not mandatory
>
>
>
>
> Date: 
>
> Sun, 04 Aug 2019 13:22:34 +0000
>
>
>
>
> User-agent: 
>
> Evolution 3.33.90 
>
>
>
>
> Hello,
>
> I have a .texi file and in Makefile.am:
>
> info_TEXINFOS = doc/z.texi
>
> Running autoreconf -visf emits:
>
> configure.ac:13: installing './compile'
> configure.ac:7: installing './missing'
> Makefile.am: installing './depcomp'
> Makefile.am: error: './doc/z.texi' missing @setfilename
> autoreconf: automake failed with exit status: 1
>
> I have texinfo (or rather makeinfo) 6.6 and automake 1.16.1 (most likely 
> installed from most recent git).
>
> The texinfo manual says in node @setfilename:
>
> “   When a '@setfilename' line is present, the Texinfo processors ignore
> everything written before the '@setfilename' line.  This is why the very
> first line of the file (the '\input' line) does not show up in the
> output.
>
> . . .
>    '@setfilename' used to be required by the Texinfo processors, and
> some other programs may still expect it to be present; for example,
> Automake (*note (automake)Texinfo::).”
>
> Please adjust automake to come forward, when @setfilename is missing, implying 
> the default value.
>
> Regards
>   Dilyan
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#36921: bug#34201: [PATCH] automake: do not require @setfilename in Texinfo files
>
>
>
>
> Date: 
>
> Sat, 11 Jan 2025 14:45:53 -0700
>
>
>
>
>
> --- End Message ---