cat doxygen.out

WeiqunZhang · WeiqunZhang · commit 30ec77711361 · 2025-09-16T19:42:05.000-07:00
diff --git a/build_docs.sh b/build_docs.sh
@@ -7,6 +7,7 @@ cd Docs/Doxygen
 doxygen doxygen.conf &> doxygen.out
 if grep -q "warning:" doxygen.out; then
     echo "Doxygen warnings detected! Failing..."
+    cat doxygen.out
     exit 1
 fi
 cd ../..
