# HG changeset patch
# User gagern
# Date 1112373614 -7200
# Node ID b45393fb38c0accd2e8e960c304df78b9fb7818e
# Parent  5e20c54683d3e41ffca83ca84cdbf31445893e95
bring make to delete files on error

diff -r 5e20c54683d3 -r b45393fb38c0 doc-src/Makefile.in
--- 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