changeset 29951:0816de0f6db1

Declare a dependency on xmllint instead of duplicating the target's commands.
author diego
date Sun, 13 Dec 2009 12:28:42 +0000
parents dca751c62fb2
children f3b569ce6791
files DOCS/xml/Makefile.inc
diffstat 1 files changed, 2 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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) $<