From 885c2aebbd4534c99f1f92f591800e1fcc6deab9 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Fri, 22 Sep 2023 12:32:34 -0700
Subject: build: set DELETE_ON_ERROR in Makefile.

* Makefile (.DELETE_ON_ERROR): Special target added.
The GNU Make manual says that this is what we always
want. Without this, a partially generated txr-manpage.html
target is not removed if the recipe happens to die.
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 283b46cc..1f255814 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,8 @@ ifeq ($(parallelmake),)
 .NOTPARALLEL:
 endif
 
+.DELETE_ON_ERROR:
+
 VERBOSE :=
 TXR_CFLAGS := -iquote . $(if $(top_srcdir), -iquote $(top_srcdir)) \
               $(LANG_FLAGS) $(DIAG_FLAGS) $(DBG_FLAGS) $(PLATFORM_CFLAGS) \
-- 
cgit v1.2.3