diff options
Diffstat (limited to 'common/Makefile.common')
| -rw-r--r-- | common/Makefile.common | 4 |
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 |