diff options
-rwxr-xr-x | build_tools/build_documentation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 43473460..1d035685 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -45,7 +45,7 @@ fi # Make sure doxygen is found DOXYGENPATH=`command -v doxygen` if test -z "$DOXYGENPATH" ; then - for i in /usr/local/bin/doxygen /opt/bin/doxygen; do + for i in /usr/local/bin/doxygen /opt/bin/doxygen /Applications/Doxygen.app/Contents/Resources/doxygen ~/Applications/Doxygen.app/Contents/Resources/doxygen ; do if test -f "$i"; then DOXYGENPATH="$i" break |