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

Previous Next

Full log

View this message in rfc822 format

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: bug#36921: 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.