Re: Catching passed options to makeinfo

Dmitry Goncharov <[email protected]> Wed, 10 Jun 2026 10:46:53 -0400
Newsgroups gmane.comp.gnu.make.general
Message-ID <CAG+Z0CsrBKi=V+PFUNQ0y4w3xz0-FBhtJS=uY_acPLFbomSjQA@mail.gmail.com>
On Wed, Jun 10, 2026 at 10:11=E2=80=AFAM Heime <[email protected]>=
 wrote:

> Are there some makefile examples I can study that allow
> for various compiling options
> to be used?

i like the make manual.

regards, Dmitry