# HG changeset patch
# User diego
# Date 1273584433 0
# Node ID cf40376e730212abc0cf616d28cef0cc1e698a61
# Parent  c00cb80e3c1827db5577f0869e617358a3203c54
Only mark targets whose names end in "clean" as phony.

diff -r c00cb80e3c18 -r cf40376e7302 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Tue May 11 13:17:26 2010 +0000
+++ b/DOCS/xml/Makefile	Tue May 11 13:27:13 2010 +0000
@@ -66,4 +66,4 @@
 distclean: clean releaseclean
 
 .PHONY: all help html-chunked html-single xmllint
-.PHONY: html-chunked-* html-single-* xmllint-* *clean*
+.PHONY: html-chunked-* html-single-* xmllint-* *clean