diff --git a/build.sh b/build.sh index 9b84775..e5adc7a 100755 --- a/build.sh +++ b/build.sh @@ -278,7 +278,7 @@ main() { # Only build Doxygen documentation if the build job was successful if [ ${build_test_res} -eq 0 ]; then echo "-- Building Doxygen documentation" - chronic make -C ${repo_dir} doc --no-print-directory + chronic make -C ${repo_dir} doc-ci --no-print-directory cp -R ${repo_dir}/doc/doxygen/html ./doc-preview fi