comparison DOCS/xml/Makefile @ 11841:67550c3b21a5

Make the build system print everything it does.
author diego
date Sat, 24 Jan 2004 22:31:11 +0000
parents c219c245aa50
children 51e14a023339
comparison
equal deleted inserted replaced
11840:acef84b653a9 11841:67550c3b21a5
24 @echo "clean : Purge the 'HTML' and 'HTML-single' directories." 24 @echo "clean : Purge the 'HTML' and 'HTML-single' directories."
25 @echo "distclean : Remove ALL generated files." 25 @echo "distclean : Remove ALL generated files."
26 26
27 .PHONY: html-chunked 27 .PHONY: html-chunked
28 html-chunked: xsltproc.sh xmllint.sh 28 html-chunked: xsltproc.sh xmllint.sh
29 @test -d $(HTML_CHUNKED) || mkdir $(HTML_CHUNKED) 29 test -d $(HTML_CHUNKED) || mkdir $(HTML_CHUNKED)
30 @for dir in $(SUBDIRS); do\ 30 for dir in $(SUBDIRS); do\
31 test -f $$dir/Makefile &&\ 31 test -f $$dir/Makefile &&\
32 (test -d $(HTML_CHUNKED)/$$dir || mkdir $(HTML_CHUNKED)/$$dir) &&\ 32 (test -d $(HTML_CHUNKED)/$$dir || mkdir $(HTML_CHUNKED)/$$dir) &&\
33 if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir html-chunked; then :; else exit 1; fi;\ 33 if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir html-chunked; then :; else exit 1; fi;\
34 done 34 done
35 35
36 .PHONY: html-single 36 .PHONY: html-single
37 html-single: xsltproc.sh xmllint.sh 37 html-single: xsltproc.sh xmllint.sh
38 @test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE) 38 test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE)
39 @for dir in $(SUBDIRS); do\ 39 for dir in $(SUBDIRS); do\
40 test -f $$dir/Makefile &&\ 40 test -f $$dir/Makefile &&\
41 (test -d $(HTML_SINGLE)/$$dir || mkdir $(HTML_SINGLE)/$$dir) &&\ 41 (test -d $(HTML_SINGLE)/$$dir || mkdir $(HTML_SINGLE)/$$dir) &&\
42 if $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$$dir/MPlayer.html -C $$dir html-single; then :; else exit 1; fi;\ 42 if $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$$dir/MPlayer.html -C $$dir html-single; then :; else exit 1; fi;\
43 done 43 done
44 44
45 .PHONY: clean-html-chunked 45 .PHONY: clean-html-chunked
46 clean-html-chunked: 46 clean-html-chunked:
47 @-rm -rf $(HTML_CHUNKED) 47 -rm -rf $(HTML_CHUNKED)
48 48
49 .PHONY: clean-html-single 49 .PHONY: clean-html-single
50 clean-html-single: 50 clean-html-single:
51 @-rm -rf $(HTML_SINGLE) 51 -rm -rf $(HTML_SINGLE)
52 52
53 .PHONY: distclean 53 .PHONY: distclean
54 distclean: clean-html-chunked clean-html-single 54 distclean: clean-html-chunked clean-html-single
55 @for dir in $(SUBDIRS); do\ 55 for dir in $(SUBDIRS); do\
56 test -f $$dir/Makefile &&\ 56 test -f $$dir/Makefile &&\
57 if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir distclean ; then :; else exit 1; fi;\ 57 if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir distclean ; then :; else exit 1; fi;\
58 done 58 done
59 @-rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh 59 -rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh
60 60
61 xsltproc.sh xmllint.sh: 61 xsltproc.sh xmllint.sh:
62 @sh configure 62 sh configure
63 63
64 clean: clean-html-chunked clean-html-single 64 clean: clean-html-chunked clean-html-single