summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 4acbc96..33fd71e 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ TDS_ZIP = $(NAME).tds.zip
ZIPS = $(CTAN_ZIP) $(TDS_ZIP)
DO_TEX = tex --interaction=batchmode $< >/dev/null
-DO_LATEX = lualatex --interaction=batchmode $< >/dev/null
+DO_LATEX = latexmk -pdf -pdflatex=lualatex -silent $< >/dev/null
all: $(GENERATED)
doc: $(COMPILED)
@@ -52,7 +52,6 @@ world: all ctan
$(COMPILED): $(DTX)
$(DO_LATEX)
- $(DO_LATEX)
$(UNPACKED): $(DTX)
$(DO_TEX)