diff options
author | wight <wight@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2005-04-11 20:14:08 +0000 |
---|---|---|
committer | wight <wight@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2005-04-11 20:14:08 +0000 |
commit | 3a55ecbebf57f01582995dc3ed7869d75c41ab6b (patch) | |
tree | 88c48bb753dd776427a356ab8a4f0e34f3c60c3d /DOCS/xml/Makefile | |
parent | ecf7883c720a547e55527c7895fd5e9106edc13a (diff) |
Support syntax checking only
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@15127 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS/xml/Makefile')
-rw-r--r-- | DOCS/xml/Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
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 |