# HG changeset patch
# User diego
# Date 1260760149 0
# Node ID ee933259f32b86d3f6fb5cc2690c1248cdea67b1
# Parent  a8ac62150c755a661a02511abc9284a0dd3c0125
Improve declaration of phony targets.
This prevents configure from being rerun all the time.

diff -r a8ac62150c75 -r ee933259f32b DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 03:07:35 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 03:09:09 2009 +0000
@@ -61,4 +61,5 @@
 
 distclean: clean releaseclean
 
-.PHONY: all help html-chunked* html-single* xmllint xmllint-* *clean*
+.PHONY: all help html-chunked html-single xmllint
+.PHONY: html-chunked-* html-single-* xmllint-* *clean*