diff options
| author | Atsushi Eno <atsushieno@gmail.com> | 2014-05-09 13:04:53 +0400 |
|---|---|---|
| committer | Atsushi Eno <atsushieno@gmail.com> | 2014-05-09 13:04:53 +0400 |
| commit | 085fc8638a66bd9ce512e6668cb5c579726a570a (patch) | |
| tree | db2d7ee04030f8822ed2dc336402a6fc9260cb72 /docs | |
| parent | 0bb0e8a6b8d5c695f08e60dae571378be648aa52 (diff) | |
use mkdir -f to ignore "directory already exists" error.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index abb659f778d..ee437164de0 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 deploy + -mkdir -f deploy cp -f $(srcdir)/api-style.css deploy $(TOOL_MAKE) $@ |