# HG changeset patch
# User diego
# Date 1074641474 0
# Node ID c219c245aa50236be1e4cb4e6812cdb058124f9a
# Parent  19919e913e3d889de4493030646c2e1e2e3ba000
Build target names shortened.

diff -r 19919e913e3d -r c219c245aa50 DOCS/xml/Makefile
--- 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 &&\