comparison DOCS/xml/Makefile @ 11818:c219c245aa50

Build target names shortened.
author diego
date Tue, 20 Jan 2004 23:31:14 +0000
parents 19919e913e3d
children 67550c3b21a5
comparison
equal deleted inserted replaced
11817:19919e913e3d 11818:c219c245aa50
8 8
9 # Generated single HTML files go here. 9 # Generated single HTML files go here.
10 HTML_SINGLE = ../HTML-single 10 HTML_SINGLE = ../HTML-single
11 11
12 .PHONY: all 12 .PHONY: all
13 all: build-html-chunked build-html-single 13 all: html-chunked html-single
14 14
15 .PHONY: help 15 .PHONY: help
16 help: 16 help:
17 @echo "Targets:" 17 @echo "Targets:"
18 @echo "********" 18 @echo "********"
19 @echo "all : Build everything (default)." 19 @echo "all : Build everything (default)."
20 @echo "build-html-single : Build HTML documentation (single file)." 20 @echo "html-single : Build HTML documentation (single file)."
21 @echo "build-html-chunked: Build HTML documentation (multiple files)." 21 @echo "html-chunked : Build HTML documentation (multiple files)."
22 @echo "clean-html-single : Purge the 'HTML-single' directory." 22 @echo "clean-html-single : Purge the 'HTML-single' directory."
23 @echo "clean-html-chunked: Purge the 'HTML' directory." 23 @echo "clean-html-chunked: Purge the 'HTML' directory."
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: build-html-chunked 27 .PHONY: html-chunked
28 build-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: build-html-single 36 .PHONY: html-single
37 build-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;\