5 # Check if doxy is visible
6 echo -n "Checking for doxygen... "
7 EXE_PATH=$(which doxygen)
8 if [ ! -x "$EXE_PATH" ] ; then
9 echo "NOT FOUND, EXITING"
14 # Change pwd to script dir, to keep the paths consistent
16 cd "$(dirname "${BASH_SOURCE[0]}" )"