1 files changed, 2 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 85bc233943..05cfe85bfd 100644
--- a/build.xml
+++ b/build.xml
@@ -307,6 +307,8 @@
         <condition property="os.win">
             <os family="windows"/>
         </condition>
+        <!-- This is a hack that compensates for the possibility of doc generation to be skipped. -->
+        <mkdir dir="${build.dir}/doc"/>
     </target>
 
     <target name="distrib" depends="distrib.unix, distrib.win"