# HG changeset patch
# User diego
# Date 1143407251 0
# Node ID c15d5f06de5dc927938b3b753318e87dc365f098
# Parent  f35cfd56c800695d73b7d8125a3dc430495e262d
Simplify mkdir calls, test is not necessary before creating directories,
discarding the return value of mkdir is just as good.

diff -r f35cfd56c800 -r c15d5f06de5d DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Sun Mar 26 19:10:43 2006 +0000
+++ b/DOCS/xml/Makefile	Sun Mar 26 21:07:31 2006 +0000
@@ -36,12 +36,12 @@
 .PHONY: html-chunked chunked-dir
 html-chunked: xsltproc.sh xmllint.sh chunked-dir $(addprefix html-chunked-,$(SUBDIRS))
 chunked-dir:
-	test -d $(HTML_CHUNKED) || mkdir $(HTML_CHUNKED)
+	-mkdir $(HTML_CHUNKED)
 
 .PHONY: html-single single-dir
 html-single: xsltproc.sh xmllint.sh single-dir $(addprefix html-single-,$(SUBDIRS))
 single-dir:
-	test -d $(HTML_SINGLE) || mkdir $(HTML_SINGLE)
+	-mkdir $(HTML_SINGLE)
 
 .PHONY: xmllint
 xmllint: xmllint.sh $(addprefix xmllint-,$(SUBDIRS))
@@ -69,11 +69,11 @@
 .PHONY: html-chunked-$(1) html-single-$(1) xmllint-$(1) \
   distclean-$(1) releaseclean-$(1) clean-$(1)
 html-chunked-$(1): xsltproc.sh xmllint.sh chunked-dir
-	(test -d $(HTML_CHUNKED)/$(1) || mkdir $(HTML_CHUNKED)/$(1))
+	-(mkdir $(HTML_CHUNKED)/$(1))
 	$(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) html-chunked
 
 html-single-$(1): xsltproc.sh xmllint.sh single-dir
-	(test -d $(HTML_SINGLE)/$(1) || mkdir $(HTML_SINGLE)/$(1))
+	-(mkdir $(HTML_SINGLE)/$(1))
 	$(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) html-single
 
 xmllint-$(1): xmllint.sh