[Feature] N/A
[Cause] N/A
[Solution] N/A
[Verification] Run script, output html dir should be in doc directory.
Run without doxygen installed, should exit with an error message.
Change-Id: Ibfc0026da771ba1415f034ce8e81eaeb1deab0c2
+# Check if doxy is visible
+echo -n "Checking for doxygen... "
+EXE_PATH=$(which doxygen)
+if [ ! -x "$EXE_PATH" ] ; then
+ echo "NOT FOUND, EXITING"
+else
+ echo "FOUND"
+fi
+
+# Change pwd to script dir, to keep the paths consistent
+pushd . > /dev/null
+cd "$(dirname "${BASH_SOURCE[0]}" )"
+