# HG changeset patch
# User diego
# Date 1260707322 0
# Node ID 0816de0f6db107a8e28b68e44d59a4e1d7191cee
# Parent  dca751c62fb2230ef6ad3957095d3e4f5714a76c
Declare a dependency on xmllint instead of duplicating the target's commands.

diff -r dca751c62fb2 -r 0816de0f6db1 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Fri Dec 11 22:27:42 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Dec 13 12:28:42 2009 +0000
@@ -39,7 +39,7 @@
 xmllint: main.xml $(SYMLINKS_DEPS)
 	../xmllint.sh $<
 
-$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS)
+$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint
 ifndef HTMLDIR
 	$(warning $(HTMLDIR))
 	$(warning Error: HTMLDIR not set!!!)
@@ -47,18 +47,16 @@
 	$(error Don't do this!)
 endif
 	-rm -f $(HTMLDIR)/*
-	../xmllint.sh $<
 	cp -f $(HTML_STYLESHEET) $(HTMLDIR)/
 	../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<
 
-$(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS)
+$(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint
 ifndef HTMLFILE
 	$(warning Error: HTMLFILE not set!!!)
 	$(warning Typically this means, that you've run make from a subdir of DOCS/xml.)
 	$(error Don't do this!)
 endif
 	-rm -f $(HTMLFILE)
-	../xmllint.sh $<
 	cp -f $(HTML_STYLESHEET) `dirname $(HTMLFILE)`
 	../xsltproc.sh $(HTMLFILE) $(HTML_SINGLE_XSL) $<