On Tue, Nov 8, 2022 at 8:34 AM Gavin Smith <gavinsmith0...@gmail.com> wrote:
> > Can you check the output from "automake --version" as I believe older > automake required "@setfilename" in Texinfo files. > It says 1.15.1. On a different linux box, I have 1.16.2, but I haven't tried building texinfo there yet. -- Ray
