summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index ddf2f45..c649875 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_PDFLATEX = pdflatex --interaction=batchmode $< >/dev/null
+DO_LATEX = lualatex --interaction=batchmode $< >/dev/null
DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1
all: $(GENERATED)
@@ -52,10 +52,10 @@ tds: $(TDS_ZIP)
world: all ctan
$(COMPILED): $(DTX)
- $(DO_PDFLATEX)
+ $(DO_LATEX)
$(DO_MAKEINDEX)
- $(DO_PDFLATEX)
- $(DO_PDFLATEX)
+ $(DO_LATEX)
+ $(DO_LATEX)
$(UNPACKED): $(DTX)
$(DO_TEX)