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

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

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

2019-09-03 Thread Mathieu Lirzin
Hello Jim, Jim Meyering writes: > 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