# HG changeset patch
# User diego
# Date 1068944267 0
# Node ID bb3e24e796ebcd36207de4bab708e2b8d9a5cb0c
# Parent  d3fc1feb652ac0dace1e0025ac85fda11c4be572
less verbosity

diff -r d3fc1feb652a -r bb3e24e796eb DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Sat Nov 15 22:46:47 2003 +0000
+++ b/DOCS/xml/Makefile	Sun Nov 16 00:57:47 2003 +0000
@@ -27,7 +27,7 @@
 .PHONY: build-html-chunked
 build-html-chunked: xsltproc.sh xmllint.sh
 	test -d $(HTML_CHUNKED) || mkdir $(HTML_CHUNKED)
-	for dir in $(SUBDIRS); do\
+	@for dir in $(SUBDIRS); do\
 		test -f $$dir/Makefile &&\
 		(test -d $(HTML_CHUNKED)/$$dir || mkdir $(HTML_CHUNKED)/$$dir) &&\
 		if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir html-chunked; then :; else exit 1; fi;\
@@ -36,7 +36,7 @@
 .PHONY: build-html-single
 build-html-single: xsltproc.sh xmllint.sh
 	test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE)
-	for dir in $(SUBDIRS); do\
+	@for dir in $(SUBDIRS); do\
 		test -f $$dir/Makefile &&\
 		(test -d $(HTML_SINGLE)/$$dir || mkdir $(HTML_SINGLE)/$$dir) &&\
 		if $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$$dir/MPlayer.html -C $$dir html-single; then :; else exit 1; fi;\
@@ -52,7 +52,7 @@
 
 .PHONY: distclean
 distclean: clean-html-chunked clean-html-single
-	for dir in $(SUBDIRS); do\
+	@for dir in $(SUBDIRS); do\
 		test -f $$dir/Makefile &&\
 		if $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$$dir -C $$dir distclean ; then :; else exit 1; fi;\
 	done
diff -r d3fc1feb652a -r bb3e24e796eb DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Sat Nov 15 22:46:47 2003 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Nov 16 00:57:47 2003 +0000
@@ -43,7 +43,7 @@
 		echo "Don't do this!"; \
 		false; \
 	fi
-	if test "$(USE_SYMLINKS)" = "yes" ; then \
+	@if test "$(USE_SYMLINKS)" = "yes" ; then \
 		for file in ../en/*.xml ; do \
 		if ! test -r `basename $$file` ; then \
 			ln -s $$file `basename $$file` ; \
@@ -52,7 +52,7 @@
 	fi
 	-rm -f $(HTMLDIR)/*
 	../xmllint.sh $<
-	cp $(HTML_STYLESHEET) $(HTMLDIR)/
+	cp -f $(HTML_STYLESHEET) $(HTMLDIR)/
 	../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<
 
 $(HTMLFILE): documentation.xml $(XSL_DEPS)
@@ -62,7 +62,7 @@
 		echo "Don't do this!"; \
 		false; \
 	fi
-	if test "$(USE_SYMLINKS)" = "yes" ; then \
+	@if test "$(USE_SYMLINKS)" = "yes" ; then \
 		for file in ../en/*.xml ; do \
 		if ! test -r `basename $$file` ; then \
 			ln -s $$file `basename $$file` ; \
diff -r d3fc1feb652a -r bb3e24e796eb DOCS/xml/configure
--- a/DOCS/xml/configure	Sat Nov 15 22:46:47 2003 +0000
+++ b/DOCS/xml/configure	Sun Nov 16 00:57:47 2003 +0000
@@ -248,7 +248,7 @@
 echo "Searching for XML checker..."
 for _try_xmllint in xmllint
 do
-  if command -v $_try_xmllint > /dev/null
+  if command -v $_try_xmllint > /dev/null 2>&1
   then
     echo "Found: $_try_xmllint"
     if test -n "$_catalog"