chiark
/
gitweb
/
~ianmdlvl
/
developers-reference.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
top-level makefile deletes target on error
[developers-reference.git]
/
Makefile
diff --git
a/Makefile
b/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: