From 39b8505e647c48b66fa86719bfec2afe926920cc Mon Sep 17 00:00:00 2001
From: Ann Priestman <apriestman@basistech.com>
Date: Fri, 21 Apr 2017 15:25:16 -0400
Subject: [PATCH] Don't stop the build process if doxygen-user/user-docs
 doesn't exist

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>