mirror of
https://github.com/mpv-player/mpv
synced 2025-02-25 09:44:21 +00:00
Support syntax checking only
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@15127 b3059339-0415-0410-9bf9-f77b7e298cf2
This commit is contained in:
parent
ecf7883c72
commit
3a55ecbebf
@ -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
|
||||
|
@ -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))
|
||||
|
Loading…
Reference in New Issue
Block a user