Mercurial > mplayer.hg
changeset 15126:6555c01128b7
Support syntax checking only
| author | wight |
|---|---|
| date | Mon, 11 Apr 2005 20:14:08 +0000 |
| parents | f983c121124a |
| children | c8abe722140e |
| files | DOCS/xml/Makefile DOCS/xml/Makefile.inc |
| diffstat | 2 files changed, 14 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- 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
--- 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))