doc: simplify Makefile using .DELETE_ON_ERROR
authorFelipe Contreras <felipe.contreras@gmail.com>
Fri, 21 May 2021 22:29:40 +0000 (17:29 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 24 May 2021 09:08:22 +0000 (18:08 +0900)
commitdb10fc6c09f1f74c4d0a9294ecbb68d390f54f15
tree6447030fb9e52f5e00f778b68f1eac6fbfed949d
parent471e7b2cf6ab5ef057feed03b35dde9a26357611
doc: simplify Makefile using .DELETE_ON_ERROR

Currently GNU make already removes files when catching an interruption
signal, however, in order to deal with other kinds of errors a
workaround is in place to store target output to a temporary file, and
only move it to its right place on success.

By enabling the built-in .DELETE_ON_ERROR we let make do this task, so
we don't have to.

This way the rules can be simplified a lot.

Suggested-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile