chiark / gitweb /
top-level makefile deletes target on error
[developers-reference.git] / Makefile
index b8398739b912f4689a7c00205158b982cd293d47..7d3ef90b615dd20d501cf441396f130c58ef20fe 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -104,3 +104,6 @@ distclean: clean
 developers-reference$(SRCEXT).sgml: version.ent common.ent
 
 html: $(MANUAL).html
+
+# if rule bomb out, delete the target
+.DELETE_ON_ERROR: