# HG changeset patch
# User wight
# Date 1113250448 0
# Node ID 6555c01128b7f17bea91b4b0097d3df0542f51d2
# Parent  f983c121124a52a168792dfe4ef95e253a277ef9
Support syntax checking only

diff -r f983c121124a -r 6555c01128b7 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Apr 11 15:36:12 2005 +0000
+++ b/DOCS/xml/Makefile	Mon Apr 11 20:14:08 2005 +0000
@@ -21,6 +21,8 @@
 	@echo "html-single-LANG  : As above, but only one language."
 	@echo "html-chunked      : Build HTML documentation (multiple files)."
 	@echo "html-chunked-LANG : As above, but only one language."
+	@echo "xmllint           : Check syntax of all xml files."
+	@echo "xmlling-LANG      : Check syntax of LANG xml files."
 	@echo "clean-html-single : Purge the 'HTML-single' directory."
 	@echo "clean-html-chunked: Purge the 'HTML' directory."
 	@echo "clean             : Purge the 'HTML' and 'HTML-single' directories."
@@ -39,6 +41,9 @@
 single-dir:
 	test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE)
 
+.PHONY: xmllint
+xmllint: xmllint.sh $(addprefix xmllint-,$(SUBDIRS))
+
 .PHONY: clean-html-chunked
 clean-html-chunked:
 	-rm -rf $(HTML_CHUNKED)
@@ -47,7 +52,7 @@
 clean-html-single:
 	-rm -rf $(HTML_SINGLE)
 
-.PHONY: releaseclean
+.PHONY: releaseclean distclean clean
 releaseclean: $(addprefix distclean-,$(SUBDIRS))
 	-rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh
 
@@ -59,7 +64,7 @@
 clean: clean-html-chunked clean-html-single
 
 define lang-def
-.PHONY: html-chunked-$(1) html-single-$(1) distclean-$(1)
+.PHONY: html-chunked-$(1) html-single-$(1) xmllint-$(1) distclean-$(1)
 html-chunked-$(1): xsltproc.sh xmllint.sh chunked-dir
 	(test -d $(HTML_CHUNKED)/$(1) || mkdir $(HTML_CHUNKED)/$(1))
 	$(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) html-chunked
@@ -68,6 +73,9 @@
 	(test -d $(HTML_SINGLE)/$(1) || mkdir $(HTML_SINGLE)/$(1))
 	$(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) html-single
 
+xmllint-$(1): xmllint.sh
+	$(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) xmllint
+
 distclean-$(1):
 	-rm -rf $(HTML_SINGLE)/$(1) $(HTML_CHUNKED)/$(1)
 	$(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) distclean
diff -r f983c121124a -r 6555c01128b7 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Mon Apr 11 15:36:12 2005 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Apr 11 20:14:08 2005 +0000
@@ -30,13 +30,16 @@
 HTML_STYLESHEET ?= ../default.css
 
 # This is the main target...
-.PHONY: all html-chunked html-single
+.PHONY: all html-chunked html-single xmllint
 all: html-chunked html-single
 html-chunked: $(HTMLDIR)/index.html
 html-single: $(HTMLFILE)
 
 SYMLINKS_DEPS:=$(if $(findstring yes,$(USE_SYMLINKS)), $(patsubst ../en/%,%,$(wildcard ../en/*.xml)))
 
+xmllint: main.xml $(SYMLINKS_DEPS)
+	../xmllint.sh $<
+
 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS)
 ifndef HTMLDIR
 	$(warning $(HTMLDIR))