summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-07-14 10:26:39 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-07-14 10:26:39 +0200
commitbb357bc282a5caf90d4cbd79056a2b8edca65b6f (patch)
treebf76bc5560aed8cac118d6d11375f4f788bcb4d9 /Makefile
parentddf162b67f0c057fefa7efb8c32fb0d0ac391bd1 (diff)
downloadluaotfload-bb357bc282a5caf90d4cbd79056a2b8edca65b6f.tar.gz
use call luatex manually instead of latexmk in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 4768d75..944fc12 100644
--- a/Makefile
+++ b/Makefile
@@ -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)