This is what I get
make -C doc texinfo.pdf make: *** doc: No such file or directory. Stop. > Sent: Friday, July 02, 2021 at 7:26 AM > From: "Eli Zaretskii" <[email protected]> > To: "Christopher Dimech" <[email protected]> > Cc: [email protected] > Subject: Re: texinfo-6.7.92 pretest > > > From: Christopher Dimech <[email protected]> > > Cc: [email protected] > > Date: Thu, 1 Jul 2021 21:09:48 +0200 > > > > Texinfo should provide the doc file everyone will use. > > ??? The files needed for the command I wrote are part of the Texinfo > tarball. >
