# HG changeset patch
# User diego
# Date 1260759700 0
# Node ID 31e6eb42db9940e91b22c05a12d02e13e621d60c
# Parent  51c09b1dfbbb5ddec54dd8af71c3533e834a831f
spelling cosmetics

diff -r 51c09b1dfbbb -r 31e6eb42db99 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 02:59:39 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 03:01:40 2009 +0000
@@ -18,8 +18,8 @@
 	@echo "html-single-LANG  : As above, but only one language."
 	@echo "html-chunked      : HTML documentation for configured languages (multiple files)"
 	@echo "html-chunked-LANG : As above, but only one language."
-	@echo "xmllint           : Check syntax of all xml files."
-	@echo "xmllint-LANG      : Check syntax of LANG xml files."
+	@echo "xmllint           : Check syntax of all XML files."
+	@echo "xmllint-LANG      : Check syntax of LANG XML files."
 	@echo "clean             : Purge the 'HTML' directory."
 	@echo "releaseclean      : Remove generated files but keep the HTML."
 	@echo "distclean         : Remove ALL generated files."