From 3a55ecbebf57f01582995dc3ed7869d75c41ab6b Mon Sep 17 00:00:00 2001
From: wight <wight@b3059339-0415-0410-9bf9-f77b7e298cf2>
Date: Mon, 11 Apr 2005 20:14:08 +0000
Subject: Support syntax checking only

git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@15127 b3059339-0415-0410-9bf9-f77b7e298cf2
---
 DOCS/xml/Makefile     | 12 ++++++++++--
 DOCS/xml/Makefile.inc |  5 ++++-
 2 files changed, 14 insertions(+), 3 deletions(-)

(limited to 'DOCS')

diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile
index 0a7782a4ff..02adf76563 100644
--- a/DOCS/xml/Makefile
+++ b/DOCS/xml/Makefile
@@ -21,6 +21,8 @@ help:
 	@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 @@ html-single: xsltproc.sh xmllint.sh single-dir $(addprefix html-single-,$(SUBDIR
 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-chunked:
 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 @@ xsltproc.sh xmllint.sh:
 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 @@ html-single-$(1): xsltproc.sh xmllint.sh single-dir
 	(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 --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc
index dd8530e3ab..15d7d9042f 100644
--- a/DOCS/xml/Makefile.inc
+++ b/DOCS/xml/Makefile.inc
@@ -30,13 +30,16 @@ endif
 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))
-- 
cgit v1.2.3