Re: bug#34201: [PATCH] automake: do not require @setfilename in Texinfo files

2019-09-15 Thread Jim Meyering
On Sat, Sep 14, 2019 at 5:35 AM Gavin Smith wrote: > On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering 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

Re: bug#34201: [PATCH] automake: do not require @setfilename in Texinfo files

2019-09-14 Thread Gavin Smith
On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering 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

Re: [PATCH] automake: do not require @setfilename in Texinfo files

2019-09-03 Thread Mathieu Lirzin
in a day or so if no comment. Thanks for taking care of this. :-) > From 309a6c477eec80b847078699303c65ccd7787eb0 Mon Sep 17 00:00:00 2001 > From: Gavin Smith > Date: Sun, 25 Aug 2019 21:07:58 -0700 > Subject: [PATCH] automake: do not require @setfilename in Texinfo files >

[PATCH] automake: do not require @setfilename in Texinfo files

2019-09-02 Thread Jim Meyering
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.