Warn if Doxygen is not installed, when building documentation.

sparkle-project · Jul 1, 2014 · 892c5f1 · 892c5f1
1 parent 84cdbbd
commit 892c5f1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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