Mercurial > mplayer.hg
comparison DOCS/xml/Makefile @ 15126:6555c01128b7
Support syntax checking only
author | wight |
---|---|
date | Mon, 11 Apr 2005 20:14:08 +0000 |
parents | 04a5b6407cb6 |
children | 58c628554a33 |
comparison
equal
deleted
inserted
replaced
15125:f983c121124a | 15126:6555c01128b7 |
---|---|
19 @echo "all : Build everything (default)." | 19 @echo "all : Build everything (default)." |
20 @echo "html-single : Build HTML documentation (single file)." | 20 @echo "html-single : Build HTML documentation (single file)." |
21 @echo "html-single-LANG : As above, but only one language." | 21 @echo "html-single-LANG : As above, but only one language." |
22 @echo "html-chunked : Build HTML documentation (multiple files)." | 22 @echo "html-chunked : Build HTML documentation (multiple files)." |
23 @echo "html-chunked-LANG : As above, but only one language." | 23 @echo "html-chunked-LANG : As above, but only one language." |
24 @echo "xmllint : Check syntax of all xml files." | |
25 @echo "xmlling-LANG : Check syntax of LANG xml files." | |
24 @echo "clean-html-single : Purge the 'HTML-single' directory." | 26 @echo "clean-html-single : Purge the 'HTML-single' directory." |
25 @echo "clean-html-chunked: Purge the 'HTML' directory." | 27 @echo "clean-html-chunked: Purge the 'HTML' directory." |
26 @echo "clean : Purge the 'HTML' and 'HTML-single' directories." | 28 @echo "clean : Purge the 'HTML' and 'HTML-single' directories." |
27 @echo "releaseclean : Remove generated files but keep the HTML." | 29 @echo "releaseclean : Remove generated files but keep the HTML." |
28 @echo "distclean : Remove ALL generated files." | 30 @echo "distclean : Remove ALL generated files." |
37 .PHONY: html-single single-dir | 39 .PHONY: html-single single-dir |
38 html-single: xsltproc.sh xmllint.sh single-dir $(addprefix html-single-,$(SUBDIRS)) | 40 html-single: xsltproc.sh xmllint.sh single-dir $(addprefix html-single-,$(SUBDIRS)) |
39 single-dir: | 41 single-dir: |
40 test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE) | 42 test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE) |
41 | 43 |
44 .PHONY: xmllint | |
45 xmllint: xmllint.sh $(addprefix xmllint-,$(SUBDIRS)) | |
46 | |
42 .PHONY: clean-html-chunked | 47 .PHONY: clean-html-chunked |
43 clean-html-chunked: | 48 clean-html-chunked: |
44 -rm -rf $(HTML_CHUNKED) | 49 -rm -rf $(HTML_CHUNKED) |
45 | 50 |
46 .PHONY: clean-html-single | 51 .PHONY: clean-html-single |
47 clean-html-single: | 52 clean-html-single: |
48 -rm -rf $(HTML_SINGLE) | 53 -rm -rf $(HTML_SINGLE) |
49 | 54 |
50 .PHONY: releaseclean | 55 .PHONY: releaseclean distclean clean |
51 releaseclean: $(addprefix distclean-,$(SUBDIRS)) | 56 releaseclean: $(addprefix distclean-,$(SUBDIRS)) |
52 -rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh | 57 -rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh |
53 | 58 |
54 distclean: clean releaseclean | 59 distclean: clean releaseclean |
55 | 60 |
57 sh configure | 62 sh configure |
58 | 63 |
59 clean: clean-html-chunked clean-html-single | 64 clean: clean-html-chunked clean-html-single |
60 | 65 |
61 define lang-def | 66 define lang-def |
62 .PHONY: html-chunked-$(1) html-single-$(1) distclean-$(1) | 67 .PHONY: html-chunked-$(1) html-single-$(1) xmllint-$(1) distclean-$(1) |
63 html-chunked-$(1): xsltproc.sh xmllint.sh chunked-dir | 68 html-chunked-$(1): xsltproc.sh xmllint.sh chunked-dir |
64 (test -d $(HTML_CHUNKED)/$(1) || mkdir $(HTML_CHUNKED)/$(1)) | 69 (test -d $(HTML_CHUNKED)/$(1) || mkdir $(HTML_CHUNKED)/$(1)) |
65 $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) html-chunked | 70 $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) html-chunked |
66 | 71 |
67 html-single-$(1): xsltproc.sh xmllint.sh single-dir | 72 html-single-$(1): xsltproc.sh xmllint.sh single-dir |
68 (test -d $(HTML_SINGLE)/$(1) || mkdir $(HTML_SINGLE)/$(1)) | 73 (test -d $(HTML_SINGLE)/$(1) || mkdir $(HTML_SINGLE)/$(1)) |
69 $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) html-single | 74 $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) html-single |
70 | 75 |
76 xmllint-$(1): xmllint.sh | |
77 $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) xmllint | |
78 | |
71 distclean-$(1): | 79 distclean-$(1): |
72 -rm -rf $(HTML_SINGLE)/$(1) $(HTML_CHUNKED)/$(1) | 80 -rm -rf $(HTML_SINGLE)/$(1) $(HTML_CHUNKED)/$(1) |
73 $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) distclean | 81 $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) distclean |
74 endef | 82 endef |
75 | 83 |