Re: Catching passed options to makeinfo

[Dmitry Goncharov]

On Wed, Jun 10, 2026 at 10:11 AM Heime <heimebor...@protonmail.com> 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