changeset 31105:cf40376e7302

Only mark targets whose names end in "clean" as phony.
author diego
date Tue, 11 May 2010 13:27:13 +0000
parents c00cb80e3c18
children 2290cf3ae4f8
files DOCS/xml/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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