diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-14 10:26:39 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-14 10:26:39 +0200 |
commit | bb357bc282a5caf90d4cbd79056a2b8edca65b6f (patch) | |
tree | bf76bc5560aed8cac118d6d11375f4f788bcb4d9 /Makefile | |
parent | ddf162b67f0c057fefa7efb8c32fb0d0ac391bd1 (diff) | |
download | luaotfload-bb357bc282a5caf90d4cbd79056a2b8edca65b6f.tar.gz |
use call luatex manually instead of latexmk in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -67,8 +67,9 @@ ZIPS = $(CTAN_ZIP) $(TDS_ZIP) LUA = texlua DO_TEX = luatex --interaction=batchmode $< >/dev/null -# (with the next version of latexmk: -pdf -pdflatex=lualatex) -DO_LATEX = latexmk -pdf -e '$$pdflatex = q(lualatex %O %S)' -silent $< >/dev/null +DO_LATEXMK = latexmk -e '$$max_repeat = 5' -pdf -lualatex -silent $< >/dev/null +# latexmk does only one run on my machine, so we’re not going to rely on it +DO_LATEX = lualatex -interaction=batchmode $< >/dev/null DO_GRAPHVIZ = dot -Tpdf -o $@ $< > /dev/null DO_GLYPHS = $(LUA) $(GLYPHSCRIPT) > /dev/null DO_CHARS = $(LUA) $(CHARSCRIPT) > /dev/null @@ -101,6 +102,7 @@ $(GRAPHED): $(DOT) $(COMPILED): $(DTX) $(DO_LATEX) + $(DO_LATEX) $(UNPACKED): $(DTX) $(DO_TEX) |