changeset 17963:c15d5f06de5d

Simplify mkdir calls, test is not necessary before creating directories, discarding the return value of mkdir is just as good.
author diego
date Sun, 26 Mar 2006 21:07:31 +0000
parents f35cfd56c800
children 2a85c470cbd0
files DOCS/xml/Makefile
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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