Re: Catching passed options to makeinfo

Heime <[email protected]> Wed, 10 Jun 2026 16:28:20 +0000
Newsgroups gmane.comp.gnu.make.general
Message-ID <ck04433TL9h53tD0MCBY10M-uFOCw519dtxxmJoYDHJnBBRnB5Srl4rSy53jGlWDht6LDCOOViOCI29KCLTQfTHLi_v9LqLEW8tekr6UEvo=@protonmail.com>
On Thursday, June 11th, 2026 at 2:47 AM
, Dmitry Goncharov <[email protected]> wrote:

> On Wed, Jun 10, 2026 at 10:11=E2=80=AFAM Heime <[email protected]=
m> wrote:
>=20
> > Are there some makefile examples I can study that allow
> > for various compiling options
> > to be used?
>=20
> i like the make manual.
>=20
> regards, Dmitry

Which parts should I look at?