From: Jeff King Date: Sat, 15 May 2021 09:32:08 GMT Subject: Re: [PATCH 01/11] doc: allow the user to provide ASCIIDOC_EXTRA Message-ID: In-Reply-To: <20210514121435.504423-2-felipe.contreras@gmail.com> 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? -Peff