On Fri, Apr 08, 2022 at 07:45:24AM +0000, Elia Pinto wrote: > 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
