build.sh: change Doxygen command to doc-ci

Author: crasbe

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