diff --git a/build.xml b/build.xml
index 32589d44aa..a9835ab9bd 100755
--- a/build.xml
+++ b/build.xml
@@ -221,7 +221,7 @@
         <delete includeemptydirs="true">
             <fileset dir="${basedir}/docs/doxygen/doxygen_docs" includes="**/*"/>
         </delete>
-        <delete includeemptydirs="true">
+        <delete includeemptydirs="true" failonerror="false">
             <fileset dir="${basedir}/docs/doxygen-user/user-docs" includes="**/*"/>
         </delete>