Add documentation build to pre-commit

stackhpc · Aug 3, 2023 · 1f28389 · 1f28389
1 parent 585c4a8
commit 1f28389
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tools/pre-commit b/tools/pre-commit
@@ -23,4 +23,10 @@ then
     exit 1
 fi
 
+if ! RUSTDOCFLAGS="-D warnings" cargo doc --no-deps
+then
+    echo "There are some documentation issues."
+    exit 1
+fi
+
 exit 0