# HG changeset patch
# User diego
# Date 1260760643 0
# Node ID af94a2bdc185d9fbe25fc1087379fd2063df670e
# Parent  9496061d46a1e0431a6bffa9439ae272cd426ab8
Do not ignore errors from mkdir invocations.

diff -r 9496061d46a1 -r af94a2bdc185 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 03:14:21 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 03:17:23 2009 +0000
@@ -31,7 +31,7 @@
 xmllint: $(addprefix xmllint-,$(DOC_LANGS))
 
 $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)):
-	-mkdir -p $@
+	mkdir -p $@
 
 $(CONFIGURE_GENERATED) $(MAIN_XML_ALL):
 	sh configure