From b9199b3104cfc09f58dbed23616f30f6d1095197 Mon Sep 17 00:00:00 2001
From: Brian Carrier <carrier@sleuthkit.org>
Date: Wed, 5 Apr 2017 10:11:48 -0400
Subject: [PATCH] Make doxygen optional for building ZIP

---
 build.xml | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

diff --git a/build.xml b/build.xml
index 9288184ea1..52bc9ad402 100755
--- a/build.xml
+++ b/build.xml
@@ -221,12 +221,19 @@
     
     
     <target name="doxygen" description="build doxygen docs, requires doxygen in PATH" depends="-init,-hide-excluded-modules">
-        <exec executable="doxygen" dir="${basedir}/docs/doxygen">
-            <arg value="Doxyfile"/>
-        </exec>
-        <exec executable="doxygen" dir="${basedir}/docs/doxygen-user">
-            <arg value="Doxyfile"/>
-        </exec>
+        <property environment="env" /> 
+        <if>
+            <available file="doxygen"  
+                 filepath="${env.PATH}"/>
+            <then>
+            <exec executable="doxygen" dir="${basedir}/docs/doxygen">
+                <arg value="Doxyfile"/>
+            </exec>
+            <exec executable="doxygen" dir="${basedir}/docs/doxygen-user">
+                <arg value="Doxyfile"/>
+            </exec>
+            </then>
+        </if>
     </target>
     
     <target name="check-release">