Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorAtsushi Eno <atsushieno@gmail.com>2014-05-09 13:09:06 +0400
committerAtsushi Eno <atsushieno@gmail.com>2014-05-09 13:09:06 +0400
commitd3e5522fa321dca9a5ed3558c5a4c84f320a9a3b (patch)
tree586556227ec340c3d68c164c2a0f2f7baa901e98 /docs
parent085fc8638a66bd9ce512e6668cb5c579726a570a (diff)
fix previous change (huh, I was blind, no such option -f, use -p).
Diffstat (limited to 'docs')
-rw-r--r--docs/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am
index ee437164de0..39527b5f8eb 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -82,7 +82,7 @@ TOOL_MAKE=$(MAKE) -f $(srcdir)/docs.make topdir=$(srcdir)/../mcs srcdir=$(srcdir
monoapi.zip: monoapi.tree
monoapi.tree: $(srcdir)/docs.make $(srcdir)/Makefile.am $(srcdir)/toc.xml $(srcdir)/deploy/.stamp
- -mkdir -f deploy
+ -mkdir -p deploy
cp -f $(srcdir)/api-style.css deploy
$(TOOL_MAKE) $@