doc-src/Makefile.in
changeset 15646 b45393fb38c0
parent 12677 73c070d5c031
child 28954 0811c7419c32
--- a/doc-src/Makefile.in	Fri Apr 01 11:12:39 2005 +0200
+++ b/doc-src/Makefile.in	Fri Apr 01 18:40:14 2005 +0200
@@ -18,6 +18,9 @@
 GARBAGE =
 OUTPUT =
 
+## special targets
+
+.DELETE_ON_ERROR:
 
 ## actions