1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dune b/doc/dune
index 80c4072541..c82e5a3df4 100644
--- a/doc/dune
+++ b/doc/dune
@@ -49,7 +49,7 @@
  (action
   (progn
    (run env COQLIB=%{project_root} sphinx-build -q %{env:SPHINXWARNOPT=-W} -b latex sphinx %{targets})
-   (chdir %{targets} (run make)))))
+   (chdir %{targets} (run make LATEXMKOPTS=-silent)))))
 
 ; Installable directories are not yet fully supported by Dune.  See
 ; ocaml/dune#1868.  Yet, this makes coq-doc.install a valid target to