GNU bug report logs - #36921
texinfo: @setfilename is not mandatory

Previous Next

Full log

Message #23 received at 36921 <at> debbugs.gnu.org (full text, mbox):

From: Jim Meyering <jim <at> meyering.net>
To: Gavin Smith <gavinsmith0123 <at> gmail.com>
Cc: 34201 <at> debbugs.gnu.org, 36921 <at> debbugs.gnu.org, automake-patches <at> gnu.org,
 Karl Berry <karl <at> freefriends.org>
Subject: Re: bug#34201: [PATCH] automake: do not require @setfilename in
 Texinfo files
Date: Sun, 15 Sep 2019 09:57:03 -0700

On Sat, Sep 14, 2019 at 5:35 AM Gavin Smith <gavinsmith0123 <at> gmail.com> wrote:
> On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering <jim <at> meyering.net> wrote:
> >
> > Gavin Smith proposed a patch for this back in http://bugs.gnu.org/34201
> > Another reference to the problem: http://bugs.gnu.org/36921
> >
> > In the attached (in Gavin's name), I've added a NEWS entry and
> > adjusted the ChangeLog entry. Will push in a day or so if no comment.
>
> Thanks for taking the time to look at this.

Oh! Thanks for the reminder. I've just pushed that.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.