Re: [PATCH 2/8] doc: add an asciidoc helper
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 13, 2021, 21:43 UTC
- Message-ID
- <xmqq4kf69uoa.fsf@gitster.g>
- In-Reply-To
- <87bl9esls8.fsf@evledraar.gmail.com>
Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
> But if you're trying to address this "maybe it errors" issue then > .DELETE_ON_ERROR is a better solution.
Yeah, I forgot about that, but I agree that .DELETE_ON_ERROR is a good thing to use, as we depend on GNU make anyway.
Thanks for bringing it up.