# HG changeset patch
# User diego
# Date 1208859570 0
# Node ID 2ec14bc3a3b3847db916de430a9c1c474e89a4de
# Parent  f6183d22bdb3c8d25e0b57f44f9a6e884dfac9a7
Move phony target declaration to the bottom of the file; add distclean target.

diff -r f6183d22bdb3 -r 2ec14bc3a3b3 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Tue Apr 22 10:14:55 2008 +0000
+++ b/DOCS/xml/Makefile.inc	Tue Apr 22 10:19:30 2008 +0000
@@ -30,7 +30,6 @@
 HTML_STYLESHEET ?= ../default.css
 
 # This is the main target...
-.PHONY: all html-chunked html-single xmllint
 all: html-chunked html-single
 html-chunked: $(HTMLDIR)/index.html
 html-single: $(HTMLFILE)
@@ -77,3 +76,5 @@
 distclean:
 	rm -f main.xml
 	rm -f `find *.xml -type l`;
+
+.PHONY: all html-chunked html-single xmllint distclean