From b272b1c4dc6c7df379685a40744ffba7c9b5f2b8 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Thu, 8 Feb 2024 18:57:43 -0800 Subject: [PATCH] src/doc/Makefile: Reduce latex's verbosity for PDF build --- src/doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/Makefile b/src/doc/Makefile index 912eb5cb0e9..2d433b3727c 100644 --- a/src/doc/Makefile +++ b/src/doc/Makefile @@ -69,7 +69,7 @@ doc-html: doc-html-reference doc-html-other # Matches doc-pdf--developer, doc-pdf--reference-manifolds etc. doc-pdf--%: - sage --docbuild $(subst -,/,$(subst doc-pdf--,,$@)) pdf $(SAGE_DOCBUILD_OPTS) + LATEXOPTS="--file-line-error --interaction=batchmode" sage --docbuild $(subst -,/,$(subst doc-pdf--,,$@)) pdf $(SAGE_DOCBUILD_OPTS) # reference manual, pdf doc-pdf-reference: doc-inventory-reference