changeset 29989:9496061d46a1

The general xmllint target should only check configured languages.
author diego
date Mon, 14 Dec 2009 03:14:21 +0000
parents ee933259f32b
children af94a2bdc185
files DOCS/xml/Makefile
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile	Mon Dec 14 03:09:09 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 03:14:21 2009 +0000
@@ -18,7 +18,7 @@
 	@echo "html-single-LANG  : As above, but only one language."
 	@echo "html-chunked      : HTML documentation for configured languages (multiple files)"
 	@echo "html-chunked-LANG : As above, but only one language."
-	@echo "xmllint           : Check syntax of all XML files."
+	@echo "xmllint           : Check syntax of XML files for configured languages."
 	@echo "xmllint-LANG      : Check syntax of LANG XML files."
 	@echo "clean             : Purge the 'HTML' directory."
 	@echo "releaseclean      : Remove generated files but keep the HTML."
@@ -28,7 +28,7 @@
 html-chunked: $(addprefix html-chunked-,$(DOC_LANGS))
 html-single:  $(addprefix html-single-,$(DOC_LANGS))
 
-xmllint: $(addprefix xmllint-,$(DOC_LANG_ALL))
+xmllint: $(addprefix xmllint-,$(DOC_LANGS))
 
 $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)):
 	-mkdir -p $@