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: > > > 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
