changeset 11818:c219c245aa50

Build target names shortened.
author diego
date Tue, 20 Jan 2004 23:31:14 +0000
parents 19919e913e3d
children a5bfc5b0026a
files DOCS/xml/Makefile
diffstat 1 files changed, 7 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile	Tue Jan 20 23:27:25 2004 +0000
+++ b/DOCS/xml/Makefile	Tue Jan 20 23:31:14 2004 +0000
@@ -10,22 +10,22 @@
 HTML_SINGLE = ../HTML-single
 
 .PHONY: all
-all: build-html-chunked build-html-single
+all: html-chunked html-single
 
 .PHONY: help
 help:
 	@echo "Targets:"
 	@echo "********"
 	@echo "all               : Build everything (default)."
-	@echo "build-html-single : Build HTML documentation (single file)."
-	@echo "build-html-chunked: Build HTML documentation (multiple files)."
+	@echo "html-single       : Build HTML documentation (single file)."
+	@echo "html-chunked      : Build HTML documentation (multiple 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."
 	@echo "distclean         : Remove ALL generated files."
 
-.PHONY: build-html-chunked
-build-html-chunked: xsltproc.sh xmllint.sh
+.PHONY: html-chunked
+html-chunked: xsltproc.sh xmllint.sh
 	@test -d $(HTML_CHUNKED) || mkdir $(HTML_CHUNKED)
 	@for dir in $(SUBDIRS); do\
 		test -f $$dir/Makefile &&\
@@ -33,8 +33,8 @@
 		if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir html-chunked; then :; else exit 1; fi;\
 	done
 
-.PHONY: build-html-single
-build-html-single: xsltproc.sh xmllint.sh
+.PHONY: html-single
+html-single: xsltproc.sh xmllint.sh
 	@test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE)
 	@for dir in $(SUBDIRS); do\
 		test -f $$dir/Makefile &&\