aboutsummaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-05-23 10:18:00 +0200
committerSébastien Dailly <sebastien@dailly.me>2024-05-23 10:18:00 +0200
commitd0a4827c8771f7d847cfc7c68e1961500184fa66 (patch)
tree1452fe77df8358c496edacc4f791347355600178 /common
parentfd3029c88396f877f50d0f91ce72c6a732961485 (diff)
Added batch mode in the first latex run
Diffstat (limited to 'common')
-rw-r--r--common/Makefile.common4
1 files changed, 3 insertions, 1 deletions
diff --git a/common/Makefile.common b/common/Makefile.common
index 730a994..d739a5e 100644
--- a/common/Makefile.common
+++ b/common/Makefile.common
@@ -80,10 +80,12 @@ tmp/%.tex: %.rst $(INCLUDED_PDF) $(SOURCES) | tmp
# Generate each pdf with latex
tmp/%.pdf: tmp/%.tex tmp/model.tex $(BIBS) | tmp
set TEXINPUTS=.:$(MODEL):$$(TEXINPUTS)
+ # Make the first run in batch mode (no pdf produced)
+ $(TEX) -output-directory tmp --halt-on-error --draftmode $<
$(TEX) -output-directory tmp $<
#bibtex tmp/$*.aux && $(TEX) -output-directory tmp $< || echo "no bib"
while grep 'Rerun to get ' tmp/$*.log ; do \
- $(TEX) --halt-on-error -output-directory tmp $< ;\
+ $(TEX) -output-directory tmp $< ;\
done
# Put the pdf in the right place