aboutsummaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
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