chiark / gitweb /
Misc. clarifications and additions to the section on security bugs
[developers-reference.git] / Makefile
index b8398739b912f4689a7c00205158b982cd293d47..1a49f3946cd29d148f9be5e06295329a5352dd4b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -91,7 +91,8 @@ clean:
              developers-reference*.sasp* developers-reference*.tex \
              developers-reference*.aux developers-reference*.toc \
              developers-reference*.idx developers-reference*.log \
-             developers-reference*.out developers-reference*.dvi
+             developers-reference*.out developers-reference*.dvi \
+             developers-reference*.tpt
        rm -f version.ent
        rm -f `find . -name "*~" -o -name "*.bak"`
        rm -f *.validate
@@ -104,3 +105,6 @@ distclean: clean
 developers-reference$(SRCEXT).sgml: version.ent common.ent
 
 html: $(MANUAL).html
+
+# if rule bomb out, delete the target
+.DELETE_ON_ERROR: