On Sat, May 15, 2021 at 05:32:08AM -0400, Jeff King wrote:

On Fri, May 14, 2021 at 07:14:25AM -0500, Felipe Contreras wrote:

quoted

Without `override` all additions will be ignored by make.

That's true of all of our Makefile variables. Is there a particular
reason to give this one special treatment?

To go into further detail: usually we distinguish variables we use
internally from user-facing ones, and include the latter in the former.
I see a later patch wants to start passing ASCIIDOC_EXTRA on the
command-line, and we'd use two variables for that.

-Peff