Re: [PATCH] Makefile: add help target

From: Taylor Blau <me@ttaylorr.com>
Date: Apr 8, 2022, 15:30 UTC
Message-ID: <YlBVBlwNVc8mEjn5@nand.local>
In-Reply-To: <20220408074524.156165-1-gitter.spiros@gmail.com>

On Fri, Apr 08, 2022 at 07:45:24AM +0000, Elia Pinto wrote:

Show 6 quoted lines

> Add a help target to the Makefile to be able to run make help, in the same way
> does the Makefiles self-generated by some build systems.
>
> The target list has been statically extracted from the git Makefile with a
> script and the results have been filtered in an essentially arbitrary way to
> leave the ones that i imagines most interesting and frequent for a developer.

I could definitely see something like "make help" being helpful, since make itself doesn't have a convenient way to list all of a Makefile's targets.

I worry about this list getting stale, though. If we add a new target, will we remember to update the "help" list here? It would be nice if we could dynamically generate this list, but I think that loses out on the filtering you've done here.

Thanks, Taylor