diff options
author | Ed Willink | 2016-05-23 15:32:39 +0000 |
---|---|---|
committer | Ed Willink | 2016-05-23 15:32:39 +0000 |
commit | 565730db97559f68707c8b9d78dbc941e2f40d18 (patch) | |
tree | c1a9171ad03c1ccd5da89dd0db4a9edee3dd5d65 | |
parent | 6b698866b751bf12e469a2d7b4047b9faecd9f65 (diff) | |
download | org.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.ant | 1 |
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}"/> |