From 892c5f1054c39c5fc34001168bf451fff6708d06 Mon Sep 17 00:00:00 2001
From: Jake Petroules <jake.petroules@petroules.com>
Date: Tue, 1 Jul 2014 19:47:30 -0400
Subject: [PATCH] Warn if Doxygen is not installed, when building
 documentation.

---
 Documentation/build-docs.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Documentation/build-docs.sh b/Documentation/build-docs.sh
index f387c7990c..44b43bf4f0 100755
--- a/Documentation/build-docs.sh
+++ b/Documentation/build-docs.sh
@@ -1,7 +1,11 @@
 #!/bin/bash
 
 if [ "$ACTION" = "" ] ; then
-    doxygen Documentation/Doxyfile
+    if which -s doxygen ; then
+        doxygen Documentation/Doxyfile
+    else
+        echo "warning: Doxygen not found in PATH"
+    fi
 elif [ "$ACTION" = "clean" ] ; then
     rm -rf "$SRCROOT/Documentation/html"
 fi