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