On Mon, Feb 14, 2022 at 12:27:53PM +0000, Gavin Smith wrote: > > After saying `./autogen.sh` I see > > > > ``` > > automake: error: cannot open < doc/tp_api/tp_api.texi: No such file or > > directory > > ``` > > I committed a fix for this but don't know if it's correct:
I reverted that change, and instead commited a fix using a generation of tp_api.texi in autogen.sh, based on your earlier proposal. Please check that it is ok... -- Pat
