diff --git a/documentation/run.sh b/documentation/run.sh index 35959d680b..3b7d551c3c 100755 --- a/documentation/run.sh +++ b/documentation/run.sh @@ -3,6 +3,12 @@ rm -rf ./html doxygen +if [ $? -ne 0 ]; then + echo "" + echo "OOPS: Something error/warning occurred during Doxygen building, please check it out!" + echo "" + exit 1 +fi pushd html python3 -m http.server \ No newline at end of file