Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEd Willink2016-05-23 15:32:39 +0000
committerEd Willink2016-05-23 15:32:39 +0000
commit565730db97559f68707c8b9d78dbc941e2f40d18 (patch)
treec1a9171ad03c1ccd5da89dd0db4a9edee3dd5d65
parent6b698866b751bf12e469a2d7b4047b9faecd9f65 (diff)
downloadorg.eclipse.ocl-565730db97559f68707c8b9d78dbc941e2f40d18.tar.gz
org.eclipse.ocl-565730db97559f68707c8b9d78dbc941e2f40d18.tar.xz
org.eclipse.ocl-565730db97559f68707c8b9d78dbc941e2f40d18.zip
[releng] Fix documentation target directory create
-rw-r--r--releng/org.eclipse.ocl.releng.buckminster/promoter.ant1
1 files changed, 1 insertions, 0 deletions
diff --git a/releng/org.eclipse.ocl.releng.buckminster/promoter.ant b/releng/org.eclipse.ocl.releng.buckminster/promoter.ant
index 0dd1889fb6..4d0ab94d5c 100644
--- a/releng/org.eclipse.ocl.releng.buckminster/promoter.ant
+++ b/releng/org.eclipse.ocl.releng.buckminster/promoter.ant
@@ -322,6 +322,7 @@
</target>
<target name="-publish.doc" if="publish.doc">
+ <mkdir dir="${project.doc.directory}" />
<echo>Remove existing doc from ${project.doc.directory}</echo>
<delete verbose="true">
<fileset dir="${project.doc.directory}"/>

Back to the top