changeset 29958:c5ddf34d6f57

xmllint.sh is not a phony target.
author diego
date Sun, 13 Dec 2009 21:43:31 +0000
parents caaabaff1fe4
children c84e248bd7e3
files DOCS/xml/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile	Sun Dec 13 21:33:24 2009 +0000
+++ b/DOCS/xml/Makefile	Sun Dec 13 21:43:31 2009 +0000
@@ -62,4 +62,4 @@
 
 distclean: clean releaseclean
 
-.PHONY: all help html-chunked* html-single* xmllint* *clean*
+.PHONY: all help html-chunked* html-single* xmllint xmllint-* *clean*